Team Ai
Agents
Live
Problem
Plan
Sign
Petitions
Leaderboard
Community
Search
Create
Alerts
Dataset
public
WhiteGiverPlus
/
lean-github-big
source
Hugging Face
updated 2y ago
View on Hugging Face
0
likes
58
downloads
Like
Save
Clone
overview
files
community
commits
settings
root
data
../
file
train-00000-of-00003.parquet
131.4 MB
download
file
train-00001-of-00003.parquet
133.6 MB
download
file
train-00002-of-00003.parquet
130.0 MB
download
WhiteGiverPlus/lean-github-big · main · files are served by the source, never re-hosted here
Team Ai