Pages that link to "Isabelle (proof assistant)"
Showing 50 items.
- Automated theorem proving (links | edit)
- Integer (links | edit)
- ML (programming language) (links | edit)
- Presburger arithmetic (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- OCaml (links | edit)
- Type theory (links | edit)
- Abstract interpretation (links | edit)
- Poplog (links | edit)
- Robin Milner (links | edit)
- Standard ML (links | edit)
- HOL (proof assistant) (links | edit)
- Logic for Computable Functions (links | edit)
- Program analysis (links | edit)
- Hoare logic (links | edit)
- F Sharp (programming language) (links | edit)
- Model checking (links | edit)
- Cantor's theorem (links | edit)
- Kepler conjecture (links | edit)
- Department of Computer Science and Technology, University of Cambridge (links | edit)
- Program slicing (links | edit)
- Rocq (links | edit)
- 1986 in science (links | edit)
- Extended ML (links | edit)
- Van Emde Boas tree (links | edit)
- Proof assistant (links | edit)
- MLton (links | edit)
- Xavier Leroy (links | edit)
- Dependence analysis (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)
- Thomas Callister Hales (links | edit)
- MacroML (links | edit)
- Don Sannella (links | edit)
- Automated reasoning (links | edit)
- FFTW (links | edit)
- Damien Doligez (links | edit)
- Lawrence Paulson (links | edit)
- GeneWeb (links | edit)
- JoCaml (links | edit)
- Separation logic (links | edit)
- HOL Light (links | edit)
- Haxe (links | edit)