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

(litexlang.com) by litexlang | Dec 19, 2025 | 1 comments on HN