Zulip Chat Archive
Stream: general
Topic: catchy mottos
Sean Leather (Apr 19 2018 at 13:56):
https://leanprover.zulipchat.com/#narrow/stream/113488-general/subject/free.20group/near/125306484 :
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 02 2025 at 03:31 UTC