CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
20 results
Lean4
Lean4
Search
in
all
models
datasets
apps
agents
people
projects
Apps
All apps matching “Lean4”
xcz0 /
lean4-eval-pipeline
docker
0 likes
9mo ago
Hugging Face
lean4proj /
qedai-backend
docker
0 likes
6mo ago
Hugging Face
Agnuxo /
p2pclaw-lean4-verifier
docker
0 likes
6mo ago
Hugging Face
Agnuxo /
lean4-proof-checker
docker
0 likes
6mo ago
Hugging Face
radoslawcz /
lean4-mathlib
docker
0 likes
5mo ago
Hugging Face
Ray5th /
Lean4-helper
docker
1 likes
3mo ago
Hugging Face
CoolFace