This repository is not active
mycroft92/coq_rampup
A collection of code snippets to understand coq's workings. Most of them are solved exercises from software foundations course
Coq
A collection of code snippets to understand coq's workings. Most of them are solved exercises from software foundations course
Coq
This repository is not active