Pages with the most revisions
From The Twelf Project
Showing below up to 50 results in range #1 to #50.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- Introductions to Twelf (166 revisions)
- Lax logic (106 revisions)
- Lists (86 revisions)
- What's new (76 revisions)
- Substitution lemma (73 revisions)
- Tutorials (69 revisions)
- Lily (58 revisions)
- Documentation (57 revisions)
- Glossary (52 revisions)
- Research projects using Twelf (51 revisions)
- Main Page (48 revisions)
- Twelf style guide (44 revisions)
- Summer school 2008 (40 revisions)
- Download (40 revisions)
- Focusing (38 revisions)
- Proving metatheorems with Twelf (37 revisions)
- Uniqueness lemma (33 revisions)
- Computation and Deduction 2009 (32 revisions)
- CPS conversion (31 revisions)
- Case studies (30 revisions)
- POPL Tutorial/Problems (29 revisions)
- Metatheorem (29 revisions)
- Linear logic (28 revisions)
- Hereditary substitution for the STLC (27 revisions)
- Equality (26 revisions)
- Simply-typed lambda calculus (26 revisions)
- %terminates (25 revisions)
- POPL Tutorial (24 revisions)
- POPL Tutorial/Session 2 Answer (23 revisions)
- About The Twelf Project (23 revisions)
- POPL Tutorial/cps-problem (23 revisions)
- Admissibility of cut (22 revisions)
- Respects lemma (20 revisions)
- Concrete representation (19 revisions)
- Coverage checking (19 revisions)
- Output factoring (18 revisions)
- Incremental metatheorem development (18 revisions)
- Reformulating languages to use hypothetical judgements (18 revisions)
- Ask Twelf Elf (18 revisions)
- Natural numbers with inequality (17 revisions)
- Bibliography of LF (17 revisions)
- Summer school 2008:Exercises 1 (17 revisions)
- Effectiveness lemma (16 revisions)
- Verifications and uses (15 revisions)
- Tabled logic programming (15 revisions)
- %unique (15 revisions)
- POPL Tutorial/Big step, small step (15 revisions)
- Simplifying dynamic clauses (15 revisions)
- POPL Tutorial/Big step, small step: Solution (15 revisions)
- Release history (15 revisions)
