/coq_rampup

A collection of code snippets to understand coq's workings. Most of them are solved exercises from software foundations course

Primary LanguageCoq

This repository is not active