Logical Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins · First published 2021Open the Tome
Interactive Theorem ProvingMarko Van Eekelen, Herman Geuvers, Julien Schmaltz · First published 2011Open the Tome
