Popular repositories Loading

1. Albert_fork Albert_fork Public

   Forked from kentavv/Albert

   Albert is used to study new non-associative algebras. This repository contains performance updates to the original code.

   C++

2. dart_data_fork dart_data_fork Public

   Forked from rschwiebert/dart_data

   Data for the Database of Ring theory

   HTML

3. equational_theories_fork equational_theories_fork Public

   Forked from teorth/equational_theories

   A project to map out the relations between different equational theories of Magmas.

   Lean

4. prover9-mace4_fork prover9-mace4_fork Public

   Forked from mmaroti/prover9-mace4

   Prover9-mace4 codebase for modernization

   Python

5. Prover9_2018_fork Prover9_2018_fork Public

   Forked from ai4reason/Prover9

   Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

   C

6. vampire_fork vampire_fork Public

   Forked from vprover/vampire

   The Vampire Theorem Prover

   C++