top of page
Professional Work
Professional work, by commission or under employment
"Program Proofs" Textbook Illustrations
"Program Proofs" by K. Rustan M. Leino, illustrated by Kaleb Leino. Published by MIT Press on 7 March 2023
Find it for sale here: MIT Press
Official Program Proofs Website: program-proofs.com
Illustrations (c) 2020 - 2023
Created for "Program Proofs" - do not use or repost elsewhere
bottom of page