Ptival/PeaCoq
PeaCoq is a pretty Coq, isn't it?
All sorts of files that I may need again later
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
PeaCoq is a pretty Coq, isn't it?
Editing proofs made nicer
Blog
being the materials for Summer 2013's course