The following pages link to (Q4411846):
Displaying 8 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488) (← links)
- Tactics and Parameters (Q4924546) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)