About
Vision
A common, open source, mechanized foundation for computing & mathematics.
Mission
Widespread adoption of mechanized logic by open source & industry.
Strategy
Add value & reduce barriers to adoption.
- Support tech transition from research to applications.
- Identify and resolve pain points for working engineers.
- Promote interoperability & compatibility with existing infrastructure.
Contributors
Get involved
We love to collaborate! Please reach out 😊