Popular repositories Loading

1. CoqPIE CoqPIE Public

   CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

   Coq 8

2. CoqRewriter CoqRewriter Public

   This library is a Coq ML tactic implementing an advanced rewriting algorithm similar but more powerful than what exists in Isabelle.

   OCaml 5

3. pedantic2 pedantic2 Public

   Lean reimplementation of PEDANTIC

   Lean 1

4. ceps ceps Public

   Forked from coq/ceps

   Coq Enhancement Proposals

5. yosys yosys Public

   Forked from YosysHQ/yosys

   Ken Roe working branch

   C++

6. htp htp Public

   Heuristic Theorem Prover (from SMT-COMP'06)

   C