Pages that link to "Coq"
← Coq
The following pages link to Coq:
Displaying 36 items.
- Formal methods (← links)
- Theorem proving (← links)
- Specification language (← links)
- Verification (← links)
- CompCert (← links)
- Isabelle/HOL (← links)
- Lean (← links)
- Formal Methods (← links)
- Four-Color Theorem (← links)
- Georges Gonthier (← links)
- Wolfgang Haken (← links)
- Feit-Thompson Theorem (← links)
- Classification of Finite Simple Groups (← links)
- Mathematical Components (← links)
- SSReflect (← links)
- Inria (← links)
- Boolean reflection (← links)
- Canonical structure (← links)
- Graph theory (← links)
- Type system (← links)
- Agda (← links)
- Dependent Type (← links)
- Idris (← links)
- GADTs (← links)
- Isabelle (← links)
- PVS (← links)
- Separation Logic (← links)
- HOL Light (← links)
- University of Illinois at Urbana-Champaign (← links)
- Z Notation (← links)
- CADiZ (← links)
- Four Color Theorem (← links)
- Dafny (← links)
- Raft Consensus Algorithm (← links)
- Iris (← links)
- Why3 (← links)