Misplaced Pages

The following pages link to HOL (proof assistant)

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• HOL (links | edit)
• ML (programming language) (links | edit)
• OCaml (links | edit)
• Type theory (links | edit)
• Poplog (links | edit)
• Robin Milner (links | edit)
• Standard ML (links | edit)
• Isabelle (proof assistant) (links | edit)
• Logic for Computable Functions (links | edit)
• Ramsey's theorem (links | edit)
• F Sharp (programming language) (links | edit)
• Department of Computer Science and Technology, University of Cambridge (links | edit)
• Higher-order logic (links | edit)
• Coq (software) (links | edit)
• Extended ML (links | edit)
• MLton (links | edit)
• Xavier Leroy (links | edit)
• Lennart Augustsson (links | edit)
• Standard ML of New Jersey (links | edit)
• Dependent ML (links | edit)
• Concurrent ML (links | edit)
• Twelf (links | edit)
• Camlp4 (links | edit)
• SLAM project (links | edit)
• Caml (links | edit)
• MacroML (links | edit)
• Don Sannella (links | edit)
• FFTW (links | edit)
• Damien Doligez (links | edit)
• GNU Common Lisp (links | edit)
• GeneWeb (links | edit)
• JoCaml (links | edit)
• Separation logic (links | edit)
• HOL Light (links | edit)
• Haxe (links | edit)
• MTASC (links | edit)
• Frank Pfenning (links | edit)
• Matita (links | edit)
• HOL theorem prover (redirect page) (links | edit)
  • Formal verification (links | edit)
  • List of mathematical logic topics (links | edit)
  • Proof assistant (links | edit)
  • Twelf (links | edit)
  • Michael J. C. Gordon (links | edit)
  • Q0 (mathematical logic) (links | edit)
  • Interactive Theorem Proving (conference) (links | edit)
  • User:Chalst/logic-watchlist (links | edit)
  • User:Hotfeba/logic dictionary stubs (links | edit)
• Gérard Huet (links | edit)
• ATS (programming language) (links | edit)
• Marionnet (links | edit)
• Compiler correctness (links | edit)
• Frama-C (links | edit)
• Don Syme (links | edit)
• HOL4 (redirect page) (links | edit)
  • Static program analysis (links | edit)
  • Side effect (computer science) (links | edit)
  • Abstract interpretation (links | edit)
  • Program analysis (links | edit)
  • Hoare logic (links | edit)
  • Model checking (links | edit)
  • Program slicing (links | edit)
  • Proof assistant (links | edit)
  • Dependence analysis (links | edit)
  • Separation logic (links | edit)
  • SAT solver (links | edit)
  • Typestate analysis (links | edit)
  • Polyvariance (links | edit)
  • E-graph (links | edit)
  • Safety and liveness properties (links | edit)
  • Hyperproperty (links | edit)
  • Path explosion (links | edit)
  • User:WikiLinuz/Computing (links | edit)
  • Template:Program analysis (links | edit)
• Alice (programming language) (links | edit)
• Astrée (static analysis) (links | edit)
• Thierry Coquand (links | edit)
• HOL theorem prover family (redirect page) (links | edit)
  • QED manifesto (links | edit)
  • HOL Light (links | edit)