Wanted pages

From The Twelf Project
Jump to: navigation, search

List of non-existing pages with the most links to them, excluding pages which only have redirects linking to them. For a list of non-existent pages that have redirects linking to them, see the list of broken redirects.

Showing below up to 50 results in range #1 to #50.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. Lexicographic induction‏‎ (6 links)
  2. Inversion‏‎ (5 links)
  3. Subgoal‏‎ (5 links)
  4. Splitting‏‎ (4 links)
  5. Spine form‏‎ (3 links)
  6. Invalid title in result set:
  7. Reversing the polarity‏‎ (2 links)
  8. Metavariable‏‎ (2 links)
  9. Kind‏‎ (2 links)
  10. Subterm‏‎ (2 links)
  11. Common patterns and pitfalls‏‎ (2 links)
  12. Higher-order encodings‏‎ (2 links)
  13. Finite failure‏‎ (1 link)
  14. LFPL:Chapter 5‏‎ (1 link)
  15. Encoding‏‎ (1 link)
  16. Sets of natural numbers‏‎ (1 link)
  17. Definition‏‎ (1 link)
  18. LFPL:Chapter 12‏‎ (1 link)
  19. Twelf server‏‎ (1 link)
  20. Known issues‏‎ (1 link)
  21. Configuration file‏‎ (1 link)
  22. Subgoals‏‎ (1 link)
  23. Types and Programming Languages‏‎ (1 link)
  24. Direct style‏‎ (1 link)
  25. Meta-theorems‏‎ (1 link)
  26. LFPL:Chapter 6‏‎ (1 link)
  27. Explicit contexts‏‎ (1 link)
  28. Elves:Server‏‎ (1 link)
  29. Computation and Deduction 2009/20090316-sol‏‎ (1 link)
  30. LFPL:Chapter 14‏‎ (1 link)
  31. Um.elf‏‎ (1 link)
  32. Talk:%subord‏‎ (1 link)
  33. Introduction to Twelf‏‎ (1 link)
  34. Type level definitions‏‎ (1 link)
  35. LFPL:Chapter 7‏‎ (1 link)
  36. Church-Rosser (alternate substitution theorem)‏‎ (1 link)
  37. Variable binding‏‎ (1 link)
  38. Elf‏‎ (1 link)
  39. LFPL:Chapter 15‏‎ (1 link)
  40. Type safety‏‎ (1 link)
  41. Closure conversion‏‎ (1 link)
  42. LFPL:Chapter 1‏‎ (1 link)
  43. Proof term‏‎ (1 link)
  44. LFPL:Chapter 8‏‎ (1 link)
  45. Bidirectional type checking‏‎ (1 link)
  46. Proving metatheorems:Representing the judgments of the natural numbers‏‎ (1 link)
  47. Type reconstruction‏‎ (1 link)
  48. LFPL:Chapter 16‏‎ (1 link)
  49. Reading a Twelf proof‏‎ (1 link)
  50. LFPL:Chapter 10‏‎ (1 link)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)