Topic: catchy mottos
Sean Leather (Apr 19 2018 at 13:56):
this means I can now convert it to equation compiler and save more lines
“Lean: Saving Lines Every Day”
Simon Hudon (Apr 19 2018 at 22:50):
That's a shame! I've been printing business cards with "Lean: the Haskell of interactive provers"
Last updated: May 08 2021 at 19:11 UTC