Popular repositories Loading

1. hemeraweb hemeraweb Public archive

   Web Interface for hemera theorem prover

   Ruby 5 1

2. GraphProver GraphProver Public

   Forked from VitorPinheiro/SequentProver

   A graph based theorem prover

   Lua 3 3

3. tableaux-prover tableaux-prover Public archive

   Forked from blopesvieira/TableauxProver

   An automatic and semi-automatic theorem prover on Tableaux

   Lua 1

4. hemera hemera Public archive

   Forked from arademaker/hemera

   Yet another simple theorem prover

   Python 1

5. curso-puc-logica-turma2021 curso-puc-logica-turma2021 Public

   1

6. bnt bnt Public

   Forked from bayesnet/bnt

   Bayes Net Toolbox for Matlab

   MATLAB 1