Articles
Learning how to learn
-
How to read a proof exercise
Learning how to learn Proofs & logic
Proofs & logic
-
How to read a proof exercise
Learning how to learn Proofs & logic
-
What is a proof?
Proofs & logic
-
Truth tables: the logic your code already runs on
Proofs & logic
-
The named logic laws
Proofs & logic
-
Algebra you forgot, and why it's the on-ramp to lambda calculus
Proofs & logic
-
Lambda calculus: a formal system in three rules
Proofs & logic
-
Induction: the proof pattern recursion already uses
Proofs & logic
-
The laws hidden in your code: what associativity buys you
Proofs & logic
-
Why lambda calculus is on this site
Proofs & logic