CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
By Princeton Vision & Learning Lab: https://github.com/princeton-vl/CoqGym
#Logic #ComputerScience #ArtificialIntelligence #MachineLearning
A Learning Environment for Theorem Proving with the Coq proof assistant
By Princeton Vision & Learning Lab: https://github.com/princeton-vl/CoqGym
#Logic #ComputerScience #ArtificialIntelligence #MachineLearning
GitHub
GitHub - princeton-vl/CoqGym: A Learning Environment for Theorem Proving with the Coq proof assistant
A Learning Environment for Theorem Proving with the Coq proof assistant - princeton-vl/CoqGym
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
By Princeton Vision & Learning Lab: https://github.com/princeton-vl/CoqGym
#Logic #ComputerScience #ArtificialIntelligence #MachineLearning
A Learning Environment for Theorem Proving with the Coq proof assistant
By Princeton Vision & Learning Lab: https://github.com/princeton-vl/CoqGym
#Logic #ComputerScience #ArtificialIntelligence #MachineLearning
GitHub
GitHub - princeton-vl/CoqGym: A Learning Environment for Theorem Proving with the Coq proof assistant
A Learning Environment for Theorem Proving with the Coq proof assistant - princeton-vl/CoqGym