L litexlang.com Litex: Formal math for everyone – set theory examples with Lean comparison 30 points litexlang 10 months ago 11 comments
