Showing entries 1-31 out of 31.
coqcoq
Coq proof assistant
coqcoq_8_10
Coq proof assistant
coqcoq_8_11
Coq proof assistant
coqcoq_8_12
Coq proof assistant
coqcoq_8_13
Coq proof assistant
coqcoq_8_14
Coq proof assistant
coqcoq_8_15
Coq proof assistant
coqcoq_8_16
Coq proof assistant
coqcoq_8_17
Coq proof assistant
coqcoq_8_18
Coq proof assistant
coqcoq_8_19
Coq proof assistant
coqcoq_8_20
Coq proof assistant
coqcoq_8_7
Coq proof assistant
coqcoq_8_8
Coq proof assistant
coqcoq_8_9
Coq proof assistant
coqcoq_9_0
Coq proof assistant
coqcoq_9_1
Coq proof assistant
coqcoq_9_2
Coq proof assistant
coqcoq_9_3
Coq proof assistant
Computer-Aided Cryptographic Proofs
Testing program for EasyCrypt formalizations
Automated first-order theorem prover
High-performance typed higher order prover
Rocq Prover
rocqrocq-core
Rocq Prover
rocqrocq-core_9_0
Rocq Prover
rocqrocq-core_9_1
Rocq Prover
rocqrocq-core_9_2
Rocq Prover
rocqrocq-core_9_3
Rocq Prover
Mechanically check TLA+ proofs
Platform for deductive program verification