Pages that link to "Item:Q703860"
From MaRDI portal
The following pages link to Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring. (Q703860):
Displaying 7 items.
- The area method. A recapitulation (Q437042) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Balancing weight-balanced trees (Q3016214) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
