Skip Navigation
Machine Learning - Training | Fine Tuning @lemmy.intai.tech manitcor @lemmy.intai.tech

GitHub - princeton-vl/CoqGym: A Learning Environment for Theorem Proving with the Coq proof assistant

https://github.com/princeton-vl/CoqGym

0
0 comments