About
Primarily interested in learning and teaching about type theories and the formalisation of mathematics in type theory. Enjoying Agda and Lean ๐ค Grounding with hiking and regular ocean swims ๐๏ธ๐
Info
Mathematics Teacher
Christchurch, New Zealand
5:58 AM
Member since February 06, 2024