© 2026 LinearBytes Inc.
Search posts, tags, users, and pages
Delma
Zermelo–Fraenkel set theory or homotopy type theory? Or should we accept pluralistic view for foundation of mathematics instead?
Aaron Turon
Rust core team
ZF for me, thanks.