Pages that link to "Software:Coq"
From HandWiki
The following pages link to Software:Coq:
Displayed 35 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Timeline of programming languages (← links)
- Timeline of women in computing (← links)
- Four color theorem (← links)
- POPLmark challenge (← links)
- Separation logic (← links)
- Termination analysis (← links)
- Iosevka (← links)
- Mizar system (← links)
- QED manifesto (← links)
- Cantor's isomorphism theorem (← links)
- Choreographic programming (← links)
- Comparison of programming languages (algebraic data type) (← links)
- Lean (proof assistant) (← links)
- Refocusing (semantics) (← links)
- Finance:Smart contract (← links)
- Biography:List of programming language researchers (← links)
- Biography:Xavier Leroy (← links)
- Biography:Vladimir Voevodsky (← links)
- Biography:Christine Paulin-Mohring (← links)
- Biography:Carlos Simpson (← links)
- Biography:Per Martin-Löf (← links)
- Biography:Grigore Rosu (← links)
- Biography:Grigore Roșu (← links)
- Biography:Georges Gonthier (← links)
- Software:Metamath (← links)
- Software:Matita (← links)
- Software:CompCert (← links)
- Software:Isabelle (proof assistant) (← links)
- Software:Frama-C (← links)
- Software:Xmonad (← links)
- Software:QuickCheck (← links)
- Software:Lean (proof assistant) (← links)
- Software:Axiom (computer algebra system) (← links)
- Software:Why3 (← links)
- Software:Cooperating Validity Checker (← links)
