Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
Lean_github_formal_only_1119 – Dataset by pkuAI4M | AlphaNeural AI
You can deploy this model and start earning money today!
pkuAI4M
/
Lean_github_formal_only_1119
like
0
100K<n<1M
parquet
text
datasets
dask
mlcroissant
polars
us
Views
No views yet
Model card
Files and Versions
Community
API
No description or README available
