35. [1] A picture of constructive mathematics
21 May 2021 Exotic expositions Foundations of mathematics Type theory Constructive mathematics
