6 posts in total
2024
Introduction to Type Theory and Machine Proof
2022
Introduction to Algebraic Topology (Part 2): Homology Theory
Introduction to Algebraic Topology (Part 1): Homotopy Theory
2021
4D Space (XII): Unknotting Spherical Knots
2019
4D Space (X): Knots and Links
2016
Explaining the "Dimensions" Trailer