Buy Me a Coffee at ko-fi.com

Lean

software for interactive and automated theorem proving

Pronunciation
/liːn/
/lin/