CoolFace
18 results

mathlib

inallmodelsdatasetsappsagentspeopleprojects

Apps

All apps matching “mathlib”
wr1240148048 /stack_project_to_mathlib4_searchgradio0 likes1y agoHugging Faceradoslawcz /lean4-mathlibdocker0 likes5mo agoHugging Facebuddend /lean-mathlib-compiler-v4291docker0 likes4mo agoHugging Facejomasego /repro-mathliblemma-folklore-lemma-generation-and-benchmark-for-formal-mathematicsstatic0 likes2mo agoHugging Face