AI Power Progress iA
Category
Formal math
Resource detail
lean/mathlib4
Great for theorem-prover style math and formal reasoning.
code formal-math github math-statistics proof-tuning rag repo training-data
Resource Metadata
Provider
GitHub
Type
repo
Level
unknown
Topic
Math & Statistics
Track
Math & Statistics
Section
Open data
Format
Dataset
Status
manual_review
Commercial
manual-review
Featured
no
Fast start
no
Sequence
nan
Priority
B
Primary source
direct_links_master
Sources
direct_links_master, mega_open_hub
ID
305532e50fd40ab5