mlsteele/conjugate-proof
An exploring in using programming to legitimately prove general things by evaluating specific cases.
Public GitHub Catalog
Discovered Sep 26, 2026
mlsteele / GEVisualizer
Visualizer tool for GE presence data
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.
#7964105GitHub 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.