Pages that link to "%worlds"
From The Twelf Project
← %worlds
The following pages link to %worlds:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Twelf style guide (← links)
- %trustme (← links)
- %reduces (← links)
- Glossary (← links)
- %total (← links)
- Fixity declaration (← links)
- CPS conversion (← links)
- Define declaration (← links)
- The Twelf Project:1.0 (← links)
- Classical S5 (← links)
- %mode (← links)
- %name (← links)
- Admissibility of cut (← links)
- Proving metatheorems:Proving totality assertions about the natural numbers (← links)
- Constraint domains and coverage checking (← links)
- %use (← links)
- %. (← links)
- Template:Keyword (← links)
- %freeze (← links)
- Totality assertion (← links)
- %theorem (← links)
- %prove (← links)
- %establish (← links)
- Theorem prover (← links)
- %assert (← links)
- Talk:%thaw (← links)
- %querytabled (← links)
- %tabled (← links)
- Abbrev declaration (← links)
- %clause (← links)
- %thaw (← links)
- Deterministic declaration (← links)
- %block (← links)
- Talk:Totality assertion (← links)
- %query (← links)
- %solve (← links)
- %unique (← links)
- World subsumption (← links)
- World (redirect page) (← links)
- Regular world (redirect page) (← links)
- Regular worlds (redirect page) (← links)
- Glossary (← links)
- Case studies (← links)
- %block (← links)
- Church-Rosser via complete development (← links)
- Ask Twelf Elf:Short answers (← links)
- Proving metatheorems talk:Representing the judgements of the natural numbers (← links)
- %subord (← links)
- Summer school 2008:Arithmetic expressions (← links)
- Lax logic (← links)
