Finite-Abelian/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
CoqLGPL-2.1
Stargazers
No one’s star this repository yet.
A Learning Environment for Theorem Proving with the Coq proof assistant
CoqLGPL-2.1
No one’s star this repository yet.