📝 Automating Math (Adam Marblestone). I've been learning more about formal methods.

# link, math, Adam Marblestone