CoqGym

A Learning Environment for Theorem Proving with the Coq proof assistant

GitHub

382 stars
16 watching
50 forks
Language: Coq
last commit: over 1 year ago
icml-2019machine-learningtheorem-proving

Screenshot of princeton-vl/CoqGym website

arxiv.org/abs/1905.09381