|
|
|
|
|
|
by BucketSort
3203 days ago
|
|
|
lol. I think the resurgence of interest in constructionist mathematics via Homotopy Type Theory will lead to better proofs ( since all proofs in HoTT are like programs and can be computationally verified in a straightforward way ). |
|
|