/coq-8.6-wishlist

Presentation of wishlist for Coq for POPL 2014

Primary LanguageTeXMIT LicenseMIT

Stargazers