Comment Comment by user070223 See also discussion on reddit with one of the creators.[0]https://old.reddit.com/r/math/comments/1ca6bj8/new_foundatio... parent user070223 2 years ago
https://old.reddit.com/r/math/comments/1ca6bj8/new_foundatio...