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