Going through Types and Programming Languages (Benjamin C. Pierce) in Coq
Primary LanguageCoq
This repository is not active