Team Ai
Agents
Live
Problem
Plan
Sign
Petitions
Leaderboard
Community
Search
Create
Alerts
Dataset
public
HaimingW
/
proofnet-lean4
source
Hugging Face
updated 2y ago
View on Hugging Face
0
likes
87
downloads
Like
Save
Clone
overview
files
community
commits
settings
root
dir
data/
file
.gitattributes
2 KB
download
file
README.md
733 B
download
HaimingW/proofnet-lean4 · main · files are served by the source, never re-hosted here
Team Ai