The following pages link to (Q3030827):
Displaying 5 items.
- The calculus of constructions (Q1108266) (← links)
- Synthesis of ML programs in the system Coq (Q1322847) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
