|
You are here |
mml-book.com | ||
| | | | |
colleenyoung.org
|
|
| | | | | A revised version of this post is available here. | |
| | | | |
reasonabledeviations.com
|
|
| | | | | Academic blog about quantitative finance, programming, maths. | |
| | | | |
richardzach.org
|
|
| | | | | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780... | |
| | | | |
legaltechnology.com
|
|
| | | GenAI startup Legora today (21 May) announced an $80m Series B funding round led by ICONIQ and General Catalyst. | ||