Pages that link to "Natural numbers"
From The Twelf Project
The following pages link to Natural numbers:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Twelf style guide (← links)
- Syntax (Object logic) (← links)
- Object logic (← links)
- Structural metrics (← links)
- %mode (← links)
- Proving metatheorems with Twelf (← links)
- Simply-typed lambda calculus (← links)
- Unary numbers (redirect page) (← links)
- Metatheorem (← links)
- Theorem prover (← links)
- Natural number (redirect page) (← links)
- The Twelf Project:Literate Twelf/Sample Page (← links)
- Ground (← links)
- Abbrev declaration (← links)
- Mutable state (← links)
- Tactical theorem proving (← links)
- %solve (← links)
- %unique (← links)
- Coverage checking (← links)
- Canonical form (← links)
- %terminates (← links)
- Concrete representation (← links)
- Twelf without Emacs (← links)
- User:Hdeyoung/subord.elf (← links)
