Algorithms I've proofed/checked in a notebook. Notes written in code
Algorithms I've proofed with notes
