Homotopy Type Theory real numbers > history (history)

June 14, 2022

June 10, 2022

June 9, 2022

May 9, 2022

April 22, 2022

April 18, 2022

April 13, 2022

March 21, 2022

March 12, 2022

March 11, 2022

February 26, 2022