jeffsantos/tableaux-prover
An automatic and semi-automatic theorem prover on Tableaux
Public GitHub Catalog
Discovered Sep 27, 2026
jeffsantos / hemera
Yet another simple theorem prover
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9671600GitHub System ID
jeffsantosOrganization / User
PublicVisibility
ActiveCatalog Status
More from jeffsantos
jeffsantos/GraphProver
A graph based theorem prover
jeffsantos/hemeraweb
Web Interface for hemera theorem prover