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

2 points | by specialgoodness 7 hours ago