"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearTR
Machine Learning - Training | Fine Tuning manitcor • Now • 100%

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

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

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

1
0
Comments 0