swMATH161WikidataQ1131652 ScholiaQ1131652MaRDI QIDQ12929FDOQ12929
Author name not available (Why is that?)
Official website: http://www.lix.polytechnique.fr/coq/
Cited In (only showing first 100 items - show all)
- Cardinal
- Fiacre
- MML
- Hets
- Atelier B
- Automath
- Kodkod
- dReal
- Sledgehammer
- ArgoCLP
- ProB
- Rodin
- MMT
- ML4PG
- OMDoc
- Erlang
- Isabelle/PIDE
- QMT
- gcl
- Lurch
- LISP
- MaLeCoP
- OpenGeoProver
- DART
- GATeL
- Scala
- PathCrawler
- SANTE
- QuickCheck
- TNTBase
- Plastic
- MathBrush
- VCC
- veriT
- MathJax
- NQTHM
- JACK
- TRACER
- CVC Lite
- ACL2s
- Boogie
- Chalice
- jSpin
- AProVE
- HipSpec
- CompCertTSO
- STEXIDE
- VeriFast
- MaSh
- CLSAT
- ARA
- LCF
- ALF
- AutPGrp
- KAT-ML
- CPGraph
- Facile
- RALL
- CakeML
- ForMaRE
- MBase
- iRRAM
- Intsolver
- NLCertify
- PolyPaver
- Gammatella
- versat
- LUSTRE
- EAT
- WinGCLC
- IMPS
- SPEED
- Leon
- Polyp
- Coq/SSReflect
- MetaOCaml
- Abella
- FoCaL
- CERES
- Bedwyr
- CertiCrypt
- TRX
- AERN
- CVC4
- Lem
- OpenAxiom
- Agda
- gaia
- Cayenne
- PlusCal
- Epigram
- LEGO
- Proof General Kit
- VeriStar
- Squolem
- Toolchain
- TLAPS
- TLC
- UMDES
- FreshML
This page was built for software: Coq
