Pages that link to "Coq (software)"
Appearance
Showing 181 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)
- 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)
- Program slicing (links | edit)
- Coq (software) (transclusion) (links | edit)
- Calculus of constructions (links | edit)
- First-class citizen (links | edit)
- Setoid (links | edit)
- Extended ML (links | edit)
- Disjoint-set data structure (links | edit)
- SIGPLAN (links | edit)
- Proof assistant (links | edit)
- MLton (links | edit)
- Corecursion (links | edit)
- Model-based testing (links | edit)
- Extensible programming (links | edit)
- Predicate transformer semantics (links | edit)
- Xavier Leroy (links | edit)
- Feit–Thompson theorem (links | edit)
- Dependence analysis (links | edit)
- Lennart Augustsson (links | edit)
- Standard ML of New Jersey (links | edit)
- Per Martin-Löf (links | edit)
- Dependent type (links | edit)
- Dependent ML (links | edit)
- Concurrent ML (links | edit)
- Twelf (links | edit)
- Camlp4 (links | edit)
- SLAM project (links | edit)
- Concrete security (links | edit)
- Caml (links | edit)
- MacroML (links | edit)
- Java Modeling Language (links | edit)
- Don Sannella (links | edit)
- Automated reasoning (links | edit)
- FFTW (links | edit)
- Damien Doligez (links | edit)
- GeneWeb (links | edit)
- Type class (links | edit)
- JoCaml (links | edit)
- Separation logic (links | edit)
- Agda (programming language) (links | edit)
- HOL Light (links | edit)
- Satisfiability modulo theories (links | edit)
- Haxe (links | edit)
- MTASC (links | edit)
- Smart contract (links | edit)
- Frank Pfenning (links | edit)
- Generalized algebraic data type (links | edit)
- Termination analysis (links | edit)
- Matita (links | edit)
- QuickCheck (links | edit)
- POPLmark challenge (links | edit)
- Xmonad (links | edit)
- Realizability (links | edit)
- ACM Software System Award (links | edit)
- Finger tree (links | edit)
- SAT solver (links | edit)
- Gérard Huet (links | edit)
- ATS (programming language) (links | edit)
- List of programming language researchers (links | edit)
- Marionnet (links | edit)
- Halting problem (links | edit)
- Frama-C (links | edit)
- Option type (links | edit)
- Inductive type (links | edit)
- Don Syme (links | edit)
- CompCert (links | edit)
- Coq proof assistant (redirect page) (links | edit)
- Separation logic (links | edit)
- Gérard Huet (links | edit)
- List of programming language researchers (links | edit)
- Coq project (redirect page) (links | edit)
- Alice (programming language) (links | edit)
- Astrée (static analysis) (links | edit)
- Thierry Coquand (links | edit)
- ALF (proof assistant) (links | edit)
- LEGO (proof assistant) (links | edit)
- Homotopy type theory (links | edit)
- Coq (proof assistant) (redirect page) (links | edit)
- Typestate analysis (links | edit)
- Interactive Theorem Proving (conference) (links | edit)
- Polyvariance (links | edit)
- List of filename extensions (S–Z) (links | edit)
- F* (programming language) (links | edit)
- History of type theory (links | edit)
- Georges Gonthier (links | edit)
- Idris (programming language) (links | edit)
- Timeline of women in computing (links | edit)
- Alt-Ergo (links | edit)
- Ur (programming language) (links | edit)
- List of inventions and discoveries by women (links | edit)
- Carlos Simpson (links | edit)
- Steven G. Johnson (links | edit)
- Three-gap theorem (links | edit)
- Iosevka (links | edit)
- Christine Paulin-Mohring (links | edit)
- Reason (programming language) (links | edit)
- Grigore Roșu (links | edit)
- Eff (programming language) (links | edit)
- Futhark (programming language) (links | edit)
- Lean (proof assistant) (links | edit)
- Semgrep (links | edit)
- E-graph (links | edit)
- Cantor's isomorphism theorem (links | edit)
- Comparison of programming languages (algebraic data type) (links | edit)
- Simon Thompson (professor) (links | edit)
- Choreographic programming (links | edit)
- Safety and liveness properties (links | edit)
- Ilya Sergey (links | edit)
- Hyperproperty (links | edit)
- Coq.inria.fr (redirect page) (links | edit)
- Refocusing (semantics) (links | edit)
- Path explosion (links | edit)
- Coq (links | edit)
- Cooperating Validity Checker (links | edit)
- Talk:Coq (software) (transclusion) (links | edit)
- Talk:Thierry Coquand (links | edit)
- User:CodeBlock (links | edit)
- User:Siddharthist (links | edit)
- User:WikiLinuz/Computing (links | edit)
- User talk:91.231.41.40 (links | edit)
- Wikipedia:WikiProject Computer science/Popular pages (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/J44 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.6000 (links | edit)
- Wikipedia:WikiProject Mathematics/Article alerts/Archive 2 (links | edit)
- Wikipedia:WikiProject Computer science/Article alerts/Archive 2 (links | edit)
- Wikipedia:WikiProject Software/Article alerts/Archive 10 (links | edit)
- Wikipedia:WikiProject Computing/Article alerts/Archive 12 (links | edit)
- Wikipedia:Requested moves/Article alerts/Archive 39 (links | edit)
- Template:User coq-2 (links | edit)
- Template:User coq-1 (links | edit)
- Template:User coq-3 (links | edit)
- Template:User coq-4 (links | edit)
- Template:User coq-0 (links | edit)
- Template:User coq (links | edit)
- Template:Did you know nominations/Thierry Coquand (links | edit)
- Template:Program analysis (links | edit)
- Template:ML programming (links | edit)
- Category:User coq-1 (links | edit)
- Category:User coq-2 (links | edit)
- Category:User coq-3 (links | edit)
- Category:User coq-4 (links | edit)
- Category:User coq (links | edit)