Notes

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.

Research Notes

• 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

Personal Notes

• Apr 23, 2018 Carthage Debate History
• 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