Programming in Leanarrow-up-right
The Lean Theorem Prover (system description)arrow-up-right
Last updated 6 years ago