05 Sep 2025 » Program verification is not all-or-nothing| lawrencecpaulson.github.io
1. Combining Logic and Probability Theory| plato.stanford.edu
1. Introduction: the many roles of analogy| plato.stanford.edu
This One Gets Weird, Sorry.| franklantz.substack.com