Popular repositories Loading

1. gclc gclc Public

   GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.

   C++ 55 7

2. Larus Larus Public

   Larus is a theorem prover for coherent logic that uses SAT/SMT provers to construct proofs. Larus can generate natural language proofs (in LaTeX) and verifiable Coq proofs.

   Coq 6 3

3. URSA URSA Public

   URSA: a tool for uniform reduction to SAT

   C++