| | The Dawn of Formalized Mathematics (2021) (andrej.com) |
|
5 points by fanf2 42 days ago | past
|
|
| | Space-filling curves, constructively (andrej.com) |
|
113 points by luu 6 months ago | past | 27 comments
|
|
| | Seemingly Impossible Functional Programs (2007) (andrej.com) |
|
2 points by josephcsible 8 months ago | past
|
|
| | Notes on Realizability [pdf] (andrej.com) |
|
1 point by hackandthink 11 months ago | past
|
|
| | The Programming Languages Zoo (andrej.com) |
|
3 points by signa11 on Oct 25, 2023 | past
|
|
| | Video tutorials for the Coq proof assistant (andrej.com) |
|
5 points by curling_grad on July 26, 2023 | past
|
|
| | How to implement dependent type theory I (2012) (andrej.com) |
|
58 points by todsacerdoti on June 14, 2023 | past | 9 comments
|
|
| | How Forum 2000 Works (andrej.com) |
|
2 points by georgehill on Jan 7, 2023 | past
|
|
| | The Programming Languages Zoo (andrej.com) |
|
1 point by nudpiedo on Nov 24, 2022 | past
|
|
| | The Burali-Forti Argument in HoTT/UF (andrej.com) |
|
1 point by harporoeder on Oct 26, 2022 | past
|
|
| | The Programming Languages Zoo (andrej.com) |
|
2 points by todsacerdoti on July 10, 2022 | past | 1 comment
|
|
| | Seemingly impossible functional programs (2007) (andrej.com) |
|
191 points by federicoponzi on Oct 28, 2021 | past | 45 comments
|
|
| | Representations of Uncomputable and Uncountable Sets (2008) (andrej.com) |
|
45 points by creata on July 30, 2021 | past | 9 comments
|
|
| | The Dawn of Formalized Mathematics (andrej.com) |
|
127 points by matt_d on July 3, 2021 | past | 58 comments
|
|
| | The Dawn of Formalized Mathematics (andrej.com) |
|
3 points by azhenley on July 1, 2021 | past
|
|
| | The Dawn of Formalized Mathematics (andrej.com) |
|
2 points by matt_d on June 26, 2021 | past
|
|
| | Computing an integer using a Grothendieck topos (andrej.com) |
|
75 points by georgecmu on May 19, 2021 | past | 33 comments
|
|
| | The Programming Languages Zoo (andrej.com) |
|
147 points by creata on May 3, 2021 | past | 13 comments
|
|
| | A general definition of dependent type theories (andrej.com) |
|
3 points by tempodox on Sept 16, 2020 | past
|
|
| | A general definition of dependent type theories (andrej.com) |
|
3 points by g0xA52A2A on Sept 15, 2020 | past
|
|
| | Five stages of accepting constructive mathematics (andrej.com) |
|
3 points by fanf2 on Aug 23, 2020 | past
|
|
| | Seemingly impossible functional programs (2007) (andrej.com) |
|
87 points by ogogmad on July 10, 2020 | past | 23 comments
|
|
| | "Every proof assistant" series (andrej.com) |
|
2 points by ogogmad on July 8, 2020 | past
|
|
| | “Every proof assistant” – Andrej Bauer (andrej.com) |
|
3 points by carapace on May 1, 2020 | past
|
|
| | “Every proof assistant” online lecture (andrej.com) |
|
8 points by adamnemecek on April 30, 2020 | past
|
|
| | Every Proof Assistant (andrej.com) |
|
2 points by myst on April 28, 2020 | past
|
|
| | Social Distancing Simulator (andrej.com) |
|
2 points by ayberkt on March 17, 2020 | past
|
|
| | Sometimes all functions are continuous (2006) (andrej.com) |
|
60 points by lelf on Jan 11, 2020 | past | 43 comments
|
|
| | Runners in Action (andrej.com) |
|
3 points by panic on Nov 27, 2019 | past
|
|
| | The Programming Languages Zoo (andrej.com) |
|
178 points by rfreytag on Dec 9, 2018 | past | 13 comments
|
|
|
|
More |
