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

(grace17.org)

2 points | by specialgoodness 8 hours ago ago