mlsteele/conjugate-proof
An exploring in using programming to legitimately prove general things by evaluating specific cases.
Public GitHub Catalog
Discovered Sep 28, 2026
mlsteele / Checkin
Personal pingback service.
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.
#11650319GitHub System ID
mlsteeleOrganization / User
PublicVisibility
ActiveCatalog Status
More from mlsteele
mlsteele/git-police
Git update guidance script.
mlsteele/wheel-book
Interactive retelling of "Let's Invent The Wheel" by Minsky and Papert
mlsteele/OCaml-Bouncyball
Graphics doodle of bouncyballs in OCaml.