Litex: Formal math for everyone – set theory examples with Lean comparison | Not Hacker News!