Sign up to save your podcasts
Or
Share aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory
Theorem proving software in education, constructive mathematics, type theory and many more.
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
View all episodes
By Deniz Sarikaya, Thorsten AltenkirchTheorem proving software in education, constructive mathematics, type theory and many more.
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.