Tag Archives: naturals
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
Xena 