Most of the notes published on this site are designed for novice-to-intermediate KeYmaera X users, although I also occasionally post thoughts on other topics.
- Aug 26, 2020 How to View a Completed KeYmaera X Proof
- Mar 27, 2020 Installing FlowStar on a Fresh Ubuntu Machine
- Nov 27, 2017 Importing Bellerophon programs into the Bellerophon Scala DSL
- Nov 22, 2017 Loop Convergence Proofs in KeYmaera X
- Aug 11, 2017 Notes from Marktoberdorf Tutorial
- Jul 25, 2017 Bifurcations and KeYmaera X -- The 1D Saddle-node Birfurcation
- Apr 12, 2017 Importing Case Studies into KeYmaera X
- Apr 12, 2017 KeYmaera X Tooling for Case Study Authors
- Jan 14, 2017 Reasoning about Exponential Decay and Growth in KeYmaera X
- Aug 20, 2023 CRG Framingham Spray Wall Stuff
- Oct 2, 2020 Allegheny County Doggos By the Numbers -- 2020 Addition
- Apr 12, 2018 Pittsburgh Doggos By the Numbers
- Jul 4, 2017 Computer Science and the Classical Liberal Arts
- Jul 3, 2017 Backpacking Trips around Pittsburgh
The postings on this site are my own and don't necessarily represent the positions, strategies, or opinions of any passt, present, or future employer.