AI Power Progress iA
Category
All Math And Future
Resource detail
Lean mathlib
Access: open. Formalized math
all-math-and-future dataset math open-data repo
Resource Metadata
Provider
github.com
Type
repo
Level
unknown
Topic
All Math And Future
Track
n/a
Section
Open Data Directory
Format
n/a
Status
publishable
Commercial
unknown
Featured
no
Fast start
no
Sequence
n/a
Priority
n/a
Primary source
website_existing
Sources
website_existing
ID
91d18568a869451e