3 ms·
/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_formalization_news/ https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo.
by r721 3mo ago
/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_formalization_news/ https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...