3 ms·
FWIW, https://en.wikipedia.org/wiki/Mizar_system https://en.wikipedia.org/wiki/Mizar_system is based on set theory, and has traction in the math community.
by pacala 11y ago
FWIW, https://en.wikipedia.org/wiki/Mizar_system https://en.wikipedia.org/wiki/Mizar_system is based on set theory, and has traction in the math community.