42. [2] The identity type
12 August 2021 Exotic expositions Foundations of mathematics Type theory Constructive mathematics
35. [1] A picture of constructive mathematics
21 May 2021 Exotic expositions Foundations of mathematics Type theory Constructive mathematics
22. [3] Digressing
21 August 2020 Incongruous inventions GitHub Page progress report GitHub Meta Constructive mathematics
