Coq
From MaRDI portal
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)
- Caduceus
- Frama-C
- MetaPRL
- MoMM
- Mizar
- Alt-Ergo
- cvc3
- Gappa
- Kenzo
- Aspic
- IsaWin
- KLEE
- LLVM
- Proof General
- Isabelle/ZF
- LETOS
- ScicosLab
- Uppaal
- Prover9
- SIMPLIFY
- zChaff
- Netsoft
- TAS
- z3
- Eukleides
- HOL
- ASCIIMathML
- TeXmacs
- GeoProof
- HOL-OCL
- SLEEF
- AnZenMail
- CIRC
- Matita
- CafeOBJ
- GCLCprover
- GeoThms
- Maude
- ETPS
- Ivor
- ProofPower
- OCaml
- JCML
- Saoithin
- FocalTest
- Reo
- Isabelle/jEdit
- PIDE
- CeTA
- HOL Light
- HOL-Omega
- Ariadne
- ProVerif
- UTP2
- Timbuk
- Giac
- GHC
- R-SATCHMO
- C-CoRN
- CTL
- SCSCP
- Flocq
- Nuprl
- ProMoVer
- JavaScript
- Satallax
- Mace4
- Cardinal
- Fiacre
- MML
- Hets
- Atelier B
- Zenon
- Automath
- Kodkod
- dReal
- Sledgehammer
- ArgoCLP
- ProB
- Rodin
- MMT
- ML4PG
- Twelf
- OMDoc
- Erlang
- Isabelle/PIDE
- QMT
- gcl
- Lurch
- LISP
- MaLeCoP
- OpenGeoProver
- DART
- GATeL
- Scala
- PathCrawler
- SANTE
- QuickCheck
- TNTBase
- VCC
This page was built for software: Coq
