| Incompleteness | Notes describing the Incompleteness Theorems (still a work in progress) | |
| Linear Algebra | Notes from a Linear Algebra class | |
| Real Analysis | Notes from a Real Analysis class | |
| Why Quines Exist | A powerpoint explaining why Quines (programs that output their own sourcecode) exist | |
| Cup Products | Final project (about Cup Products as developed in Hatcher) for an algebraic topology class |