Tag Archives: Type theory
Teaching dependent type theory to 4 year olds via mathematics
What is the number before 0? Who cares! How do children model numbers? An experiment with type theory. Continue reading
Posted in computability, Learning Lean, number theory, Type theory
Tagged Type theory, naturals, integers
8 Comments
The invisible map
Is a subgroup of a group a group? Is 3 a topology on 2? Is a natural number a real number? Decisions like this have consequences. Continue reading
Posted in Type theory, undergrad maths
Tagged Andrej Bauer, function, Tim Gowers, Type theory
7 Comments
Xena 