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

2 pointsposted 8 hours ago
by specialgoodness
(grace17.org)

No comments yet