Popular repositories Loading

1. Geometrography Geometrography Public

   Geometrography in Dynamic Geometry Systems

   Yacc 1

2. TGTP TGTP Public

   TGTP support programs

   C++

3. libI2GATP libI2GATP Public

   Support library for the I2GATP common format

4. I2GATP I2GATP Public

   I2GATP common format for DGSs and GATPs

5. WebGeometryLaboratory WebGeometryLaboratory Public

   Web Geometry Laboratory

6. Larus Larus Public

   Forked from janicicpredrag/Larus

   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