princeton-vl / CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
We recommend upgrading to the latest Google Chrome or Firefox.
See what the GitHub community is most excited about today.
A Learning Environment for Theorem Proving with the Coq proof assistant