grobolom/Doublet-Solver
a doublet solver for one of those pycon challenges
Public GitHub Catalog
Discovered Sep 24, 2026
grobolom / SKF-FOL-Resolver
A basic automated theorem prover using SNF/FOL in Lisp
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.
#1060813GitHub System ID
grobolomOrganization / User
PublicVisibility
ActiveCatalog Status
More from grobolom
grobolom/Social-Collage
Public repository.