Read news on theory examples with our app.
Read more in the app
Litex: Formal math for everyone – set theory examples with Lean comparison