Stars
💯 Coq
6 repositories
A Learning Environment for Theorem Proving with the Coq proof assistant
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Modeling and Proving in Computational Type Theory