Sign in
Simons2025.
Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"
github.com/hrmacbeth/Simons2025
by
@hrmacbeth
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
