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

 (grace17.org)

2 points | by specialgoodness 8 hours ago ago

No comments yet.