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)
- GCLC
- HasCasl
- HYBRID
- ILTP
- LEDA
- LEO-II
- APS-1
- Theorema
- TkWinHOL
- ML
- TPS
- Beluga
- Ada95
- JastAdd
- MizarMode
- FRACTRAN
- CASL
- MAYA
- Algolib
- ACSL
- GeoGebra
- SMT-LIB
- SPASS
- Caduceus
- Isar
- JML
- Frama-C
- MetaPRL
- SYROCO
- MoMM
- Mizar
- TLA
- Why3
- Yices
- Alt-Ergo
- cvc3
- Gappa
- Kenzo
- Aspic
- Spec#
- 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
- Zenon
- Twelf
- Metis
This page was built for software: Coq
