JasonGross/repo-coqs
The repository for Coq versions for developers.
Notes for 18.721
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
The repository for Coq versions for developers.
A .bib file of my publications
Public repository.
Public repository.