Team Ai
Agents
Live
Problem
Plan
Sign
Petitions
Leaderboard
Community
Search
Create
Alerts
Dataset
public
JohnYang88
/
lean-dojo-mathlib4
Dataset Card for "lean-dojo-mathlib4" More Information needed
source
Hugging Face
updated 3y ago
View on Hugging Face
1
likes
85
downloads
Like
Save
Clone
overview
files
community
commits
settings
Dataset Card
Dataset Card for "lean-dojo-mathlib4"
More Information needed
