leanprover's Open Source Projects

Home About Advertise Products Blog

Ad

/leanprover

Owners:leanprover

Making the world a better place through constructing elegant hierarchies.

Facebook LinkedIn X GitHub

Solutions

Marketing
Analytics
Automation
Commerce
Insights

Support

Submit ticket
Documentation
Guides

Company

About
Blog
Jobs
Press

Legal

Terms of service
Privacy policy
Cookie policy
Copyright notice

© 2026 Numfer. All rights reserved.

Made with ❤️ by Paradane