Lawrence C. Paulson

Lawrence C. Paulson has written at least 3 books. Their most popular book is ML for the Working Programmer, 2nd Edition with 2 saves with an average rating of -⭐.

They are best known for writing in the genres one, asdfsa, and Asdfsa.

mone, asdfsa, and Asdfsa are their most common moods.

Details	Rating	Readers Count	Controls
ML for the Working Programmer, 2nd Edition Lawrence C. Paulson	0	0 reads
Interactive Theorem Proving Matt Kaufmann Lawrence C. Paulson	0	0 reads
Isabelle/HOL Tobias Nipkow Lawrence C. Paulson Markus Wenzel	0	0 reads

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

Lawrence C. Paulson

Footer links