HOL
From MaRDI portal
swMATH5492MaRDI QIDQ17631FDOQ17631
Author name not available (Why is that?)
Official website: http://hol.sourceforge.net/
Cited In (only showing first 100 items - show all)
- HasCasl
- LEO-II
- Theorema
- TkWinHOL
- ML
- TPS
- Prosper
- FoCs
- Isar
- MetaPRL
- Mizar
- IsaWin
- Proof General
- Isabelle/ZF
- Prover9
- Netsoft
- TAS
- Matita
- ETPS
- ProofPower
- OCaml
- Saoithin
- Isabelle/jEdit
- PIDE
- CeTA
- HOL Light
- HOL-Omega
- ProVerif
- UTP2
- C-CoRN
- Nuprl
- Satallax
- Hets
- Automath
- Kodkod
- Sledgehammer
- MMT
- Twelf
- OMDoc
- Isabelle/PIDE
- QMT
- LISP
- MaLeCoP
- MathDox
- NQTHM
- VPM
- VESTA
- LoTREC
- MACOM
- Polar
- CompCertTSO
- SystemC
- LCF
- ALF
- CakeML
- Robotica
- IMPS
- Coq/SSReflect
- MetaOCaml
- Bedwyr
- TRX
- Lem
- Agda
- gaia
- CompCert
- EasyCrypt
- LEGO
- CoLoR
- evt
- Minlog
- Amphion
- SmallCheck
- SAD
- Galculator
- Squolem
- Quartz
- Milawa
- QMLTP
- mkbTT
- PhoX
- Gandalf
- IsaFoR
- E Theorem Prover
- Slothrop
- PoplMark
- Flyspeck
- WhyML
- PRocH
- Sparkle
- DisCo
- MathWeb
- VeriSmall
- Analytica
- Monotonox
- PROSPER
- Z/EVES
- Z
- Paco
- Poly/ML
- Metis
This page was built for software: HOL
