mkerem/livetesting
SFD - Capstone
Public GitHub Catalog
Discovered Sep 30, 2026
mkerem / theorem_prover
An automated theorem prover for first-order logic.
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.
#19448293GitHub System ID
mkeremOrganization / User
PublicVisibility
ActiveCatalog Status
More from mkerem
mkerem/rochack.org
MIND EXPLODING FACTORY OF AWESOMENESS ROCHACK SITE.
mkerem/scribbles
Public repository.
mkerem/SafeRDigital
Public repository.