Pages that link to "Item:Q1040007"
From MaRDI portal
The following pages link to A compact kernel for the calculus of inductive constructions (Q1040007):
Displayed 4 items.
- Formal metatheory of programming languages in the Matita interactive theorem prover (Q1945919) (← links)
- Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface (Q2945623) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)