Litex: Formal math for everyone – set theory examples with Lean comparisonlitexlang.com·30 pts·litexlang·11