Pages that link to "Proving metatheorems:Full LF"
From The Twelf Project
The following pages link to Proving metatheorems:Full LF:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Implicit and explicit parameters (← links)
- Proving metatheorems with Twelf (← links)
- Proving metatheorems:Representing the judgements of the natural numbers (← links)
- Proving metatheorems:Proving totality assertions about the natural numbers (← links)
- Proving metatheorems:Proving metatheorems about the natural numbers (← links)
- Proving metatheorems:Representing the judgements of the STLC (← links)
- Template:Proving (← links)
- Proving metatheorems talk:Representing the judgements of the STLC (← links)