Fully Countering Trusting Trust through Diverse Double-Compiling (DDC) PhD Public Defense (Wheeler) Скачать
Walkthrough of the tutorial in mmj2 (mmj2 is an interactive proof tool for the Metamath language) Скачать