leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
LeanApache-2.0
Watchers
- avansec
- bryangingechen
- digama0Chalmers University of Technology
- eemailme
- hargoniXLean FRO
- jevinskieLafayette, Indiana
- jhcloos
- joehendrixPrincipal Research Software Engineer at Lean FRO
- kmillSanta Cruz, California
- leodemouraAWS
- pcpthm
- seanpm2001Self-employed; looking for tips
- semorrisonCanberra
- soonhokongAmazon Web Services
- soraros
- TwoFXLean FRO
- Vtec234Pittsburgh, USA