Lean FRO
Current Promotions
No video available
Get in Touch
About
Lean FRO is a nonprofit dedicated to advancing the Formal Mathematics revolution. The FRO's purpose is to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant. Our 5-year mission is to empower Lean towards self-sustainability.
Keywords
No keywords available
Amenities
No amenities listed yet
Upcoming Events
No upcoming events scheduled
Frequently Asked Questions
No FAQs available for this business.
Reviews
No reviews yet. Be the first to review!
Social Links
No social media links available
Photo Gallery
No photos available
Contact Information
Business Info
Location
Business Hours
Business hours not available
Own This Business?
Unclaimed
Take control of your business page to update information, respond to reviews, and more.
Claim This Business