Litex: Formal math for everyone – set theory examples with Lean comparison

3 points • litexlang • about 10 hours ago • 1 comments