Pages with the most revisions

From The Twelf Project
Jump to: navigation, search

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

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

  1. Introductions to Twelf‏‎ (166 revisions)
  2. Lax logic‏‎ (106 revisions)
  3. Lists‏‎ (86 revisions)
  4. What's new‏‎ (76 revisions)
  5. Substitution lemma‏‎ (73 revisions)
  6. Tutorials‏‎ (69 revisions)
  7. Lily‏‎ (58 revisions)
  8. Documentation‏‎ (57 revisions)
  9. Glossary‏‎ (52 revisions)
  10. Research projects using Twelf‏‎ (48 revisions)
  11. Main Page‏‎ (48 revisions)
  12. Twelf style guide‏‎ (44 revisions)
  13. Summer school 2008‏‎ (40 revisions)
  14. Download‏‎ (40 revisions)
  15. Focusing‏‎ (38 revisions)
  16. Proving metatheorems with Twelf‏‎ (36 revisions)
  17. Uniqueness lemma‏‎ (33 revisions)
  18. Computation and Deduction 2009‏‎ (32 revisions)
  19. CPS conversion‏‎ (31 revisions)
  20. Case studies‏‎ (30 revisions)
  21. POPL Tutorial/Problems‏‎ (29 revisions)
  22. Metatheorem‏‎ (29 revisions)
  23. Linear logic‏‎ (28 revisions)
  24. Hereditary substitution for the STLC‏‎ (27 revisions)
  25. Equality‏‎ (26 revisions)
  26. Simply-typed lambda calculus‏‎ (26 revisions)
  27. %terminates‏‎ (25 revisions)
  28. POPL Tutorial‏‎ (24 revisions)
  29. About The Twelf Project‏‎ (23 revisions)
  30. POPL Tutorial/cps-problem‏‎ (23 revisions)
  31. POPL Tutorial/Session 2 Answer‏‎ (23 revisions)
  32. Admissibility of cut‏‎ (22 revisions)
  33. Respects lemma‏‎ (20 revisions)
  34. Concrete representation‏‎ (19 revisions)
  35. Coverage checking‏‎ (19 revisions)
  36. Ask Twelf Elf‏‎ (18 revisions)
  37. Output factoring‏‎ (18 revisions)
  38. Incremental metatheorem development‏‎ (18 revisions)
  39. Reformulating languages to use hypothetical judgements‏‎ (18 revisions)
  40. Summer school 2008:Exercises 1‏‎ (17 revisions)
  41. Natural numbers with inequality‏‎ (17 revisions)
  42. Effectiveness lemma‏‎ (16 revisions)
  43. Bibliography of LF‏‎ (15 revisions)
  44. POPL Tutorial/Big step, small step‏‎ (15 revisions)
  45. Simplifying dynamic clauses‏‎ (15 revisions)
  46. POPL Tutorial/Big step, small step: Solution‏‎ (15 revisions)
  47. Release history‏‎ (15 revisions)
  48. Verifications and uses‏‎ (15 revisions)
  49. Tabled logic programming‏‎ (15 revisions)
  50. %unique‏‎ (15 revisions)

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