Hi Mathstodon, I like formalizing proofs in Lean!
#Introduction
@bsafieldeen mention #leanprover, get a follower. Hi.
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.
