Found 2 Documents (Results 1–2)
Filter Results by …
Author
- Paulson, Lawrence Charles (2)
- Nipkow, Tobias (1)
- Wenzel, Makarius (1)
Serial
all
top 3
Software
- CakeML (2)
- Coq (2)
- HOL (2)
- HOL Light (2)
- Isabelle (2)
- Isabelle/HOL (2)
- ML (2)
- Mizar (2)
- Nitpick (2)
- Sledgehammer (2)
- kepler98 (2)
- seL4 (2)
- ACL2 (1)
- AProVE (1)
- Automath (1)
- Autoref (1)
- Berlekamp Zassenhaus (1)
- CAVA LTL Modelchecker (1)
- CeTA (1)
- Coq/SSReflect (1)
- Coquelicot (1)
- E Theorem Prover (1)
- Eisbach (1)
- Flyspeck (1)
- Gabow SCC (1)
- Haskell (1)
- Isabelle/Isar (1)
- Isabelle/PIDE (1)
- Isar (1)
- Jordan (1)
- Kodkod (1)
- LCF (1)
- Lean (1)
- Locales (1)
- Metis_ (1)
- PVS (1)
- Poly/ML (1)
- Proof General (1)
- QuickCheck (1)
- QuickChick (1)
- SPIN (1)
- SmallCheck (1)
- Tame Graphs (1)
- Uppaal (1)
- VAMPIRE (1)
- z3 (1)