Homotopy Type Theory Eudoxus real numbers > history (history)

June 10, 2022

April 14, 2022

April 13, 2022

February 26, 2022