Pages that link to "Coq (software)"
Showing 50 items.
- Classification of finite simple groups (links | edit)
- Functional programming (links | edit)
- Four color theorem (links | edit)
- ML (programming language) (links | edit)
- Timeline of programming languages (links | edit)
- Presburger arithmetic (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- OCaml (links | edit)
- Type theory (links | edit)
- Dyadic rational (links | edit)
- Gödel's incompleteness theorems (links | edit)
- Abstract interpretation (links | edit)
- Poplog (links | edit)
- Busy beaver (links | edit)
- Robin Milner (links | edit)
- Standard ML (links | edit)
- Hilbert's tenth problem (links | edit)
- Vladimir Voevodsky (links | edit)
- List of programming languages by type (links | edit)
- List of programming languages (links | edit)
- Andrei Alexandrescu (links | edit)
- Isabelle (proof assistant) (links | edit)
- HOL (proof assistant) (links | edit)
- Logic for Computable Functions (links | edit)
- Program analysis (links | edit)
- Intuitionistic logic (links | edit)
- Cog (links | edit)
- Hoare logic (links | edit)
- Division by zero (links | edit)
- Cons (links | edit)
- Mizar system (links | edit)
- QED manifesto (links | edit)
- F Sharp (programming language) (links | edit)
- Curry–Howard correspondence (links | edit)
- Formal verification (links | edit)
- Algebraic data type (links | edit)
- Bertrand Meyer (links | edit)
- LTAC (links | edit)
- French Institute for Research in Computer Science and Automation (links | edit)
- Model checking (links | edit)
- Intuitionistic type theory (links | edit)
- List of mathematical logic topics (links | edit)
- Cock (links | edit)
- Axiom (computer algebra system) (links | edit)
- Program slicing (links | edit)
- Calculus of constructions (links | edit)
- First-class citizen (links | edit)
- Setoid (links | edit)
- Extended ML (links | edit)