Homotopy Type Theory limited principle of omniscience > history (history)

June 14, 2022

May 2, 2022

April 28, 2022

June 20, 2019

August 30, 2014