18 results

mathlib

inall models datasets apps agents people projects

Apps

All apps matching “mathlib”

wr1240148048 /stack_project_to_mathlib4_searchgradio0 likes1y agoHugging Face radoslawcz /lean4-mathlibdocker0 likes5mo agoHugging Face buddend /lean-mathlib-compiler-v4291docker0 likes5mo agoHugging Face jomasego /repro-mathliblemma-folklore-lemma-generation-and-benchmark-for-formal-mathematicsstatic0 likes3mo agoHugging Face