Flashes Home Search Notifications Sign in Post

Lean Focused Research Organization

@lean-lang.org

614 Followers 54 Following

Supporting the Formal Mathematics revolution

Legal

Privacy Policy Terms and Conditions

Contact

Follow

Bluesky Instagram Threads

Flashes for Bluesky Get it on the App Store