Grace17 – a new proof assistant for mathematics based on set theory

(grace17.org) by specialgoodness | Oct 18, 2026 | 0 comments on HN