Sign in Subscribe

Topic

gaming

A collection of 2 issues

The Natural Number Game

I introduce the online Natural Number Game which uses Lean programming to verify formal proofs of mathematical theorems from Peano's axioms.

Processing.js

We explore the Processing.js library, its use in Khan Academy, and my personal creations in Processing.js.