/
lemm.ee
Search
Explore
Create
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.com
Initials
Florian Körner
https://github.com/dicebear/dicebear
TR
Machine Learning - Training | Fine Tuning
manitcor
•
1y ago
•
100%
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
Hot
Top
New