thinkpad20/simple-coq-classes
Some relatively simple and useful Haskell-style classes for Coq, and some instances for them.
Public GitHub Catalog
Discovered Sep 27, 2026
thinkpad20 / cspp52553week4
webdev week 4
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.
#9800058GitHub System ID
thinkpad20Organization / User
PublicVisibility
ActiveCatalog Status
More from thinkpad20
thinkpad20/sublime-ur
Ur/web syntax definition for Sublime Text
thinkpad20/urweb
Unofficial clone of impredicative.com urweb repo
thinkpad20/sublimecoq
Sublime text mode for coq.