Grace17 – a new proof assistant for mathematics based on set theory Posted by specialgoodness on Sunday October 18, 2026 @09:44AM from the grace17.org dept. https://grace17.org/ ( no comments | 2 points | on HN )
There are no comments yet.