StevenClontz/hello_mizar
Tracking my progress on learning the Mizar proof verification system
Public GitHub Catalog
Discovered Oct 2, 2026
StevenClontz / debsTranslation
translation of Debs' `Stratégies gagnantes dans certains jeux topologiques.`
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.
#24908609GitHub System ID
StevenClontzOrganization / User
PublicVisibility
ActiveCatalog Status
More from StevenClontz
StevenClontz/frank
memorial web app for Frank Sturm
StevenClontz/fall2014Grades
grading app for fall 2014
StevenClontz/undergraduateThesis
a PDF of my undergraduate thesis written on the unfoldings/nets of "generalized pyramids".