Blog

• Allegheny County Doggos By the Numbers -- 2020 Edition

  10-02-2020 · Civics

• How to View a Completed KeYmaera X Proof

  08-27-2020 · Automated Reasoning

• Installing FlowStar on a Fresh Ubuntu Machine

  03-27-2020 · Automated Reasoning

• Carthage Debate History

  04-23-2018 · Fun

• Pittsburgh Doggos By the Numbers

  04-12-2018 · Civics

• Importing Bellerophon programs into the Bellerophon Scala DSL

  11-27-2017 · Automated Reasoning

• Loop Convergence Proofs in KeYmaera X

  11-22-2017 · Automated Reasoning

• Notes from Marktoberdorf Tutorial

  08-11-2017 · Automated Reasoning

• Bifurcations and KeYmaera X -- The 1D Saddle-node Birfurcation

  07-25-2017 · Automated Reasoning

• Computer Science and the Classical Liberal Arts

  07-04-2017 · Civics

• Backpacking Trips around Pittsburgh

  07-03-2017 · Fun

• KeYmaera X Tooling for Case Study Authors

  04-12-2017 · Automated Reasoning

• Importing Case Studies into KeYmaera X

  04-12-2017 · Automated Reasoning

• Reasoning about Exponential Decay and Growth in KeYmaera X

  01-14-2017 · Automated Reasoning