Skip to content
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
Tools
Jobs
Sign In
Sign Up
Tools
/
Skills
/
mathlib-build
mathlib-build
Skill
by leanprover
Building Mathlib
Repository
Source folder
Details
Path
skills/mathlib-build/SKILL.md
FAQ
What is the mathlib-build skill?
What tools does mathlib-build use?