StevenClontz/hello_mizar
Tracking my progress on learning the Mizar proof verification system
Simple grade calculator
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Tracking my progress on learning the Mizar proof verification system
memorial web app for Frank Sturm
grading app for fall 2014
translation of Debs' `Stratégies gagnantes dans certains jeux topologiques.`