K Rustan M Leino

K Rustan M Leino's most popular book is Program Proofs with 2 saves and an average rating of -.

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies