Recent Posts

Machine-verified formal mathematical proofs

2 minute read

A departure from my usual topics, in remembrance of my college math classes (and with a nod to Mozilla folks working on related areas like automated testing ...