Use cases
Customer stories
Business
- iDrift AS company
- GUT contact support agency
- End Point Dev software consultancy
- WindBorne startup
- Semsee InsurTech startup
- Atolio startup
Education and research
- Technical University of Munich
- University of California San Diego
- National University of Córdoba
- Lean theorem prover community