Logical Systems Lab

Repositories

• KeYmaeraX-release

  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

  scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems
  Scala 23 41 8 1 Updated Jul 1, 2020

• KeYmaeraX-projects

  Projects, models, and proofs in KeYmaera X

  proof dynamical-systems hybrid-systems keymaerax cyber-physical-systems differential-dynamic-logic hybrid-games
  Shell 5 4 0 0 Updated Jun 29, 2020

• Isabelle-dL

  A formally verified implementation of differential dynamic logic in Isabelle
  Isabelle 0 3 0 0 Updated Mar 30, 2020

• Coq-dL

  A formally verified implementation of differential dynamic logic in Coq
  Coq GPL-3.0 3 7 0 1 Updated Dec 4, 2019

• orbital

  Orbital Library

  java math computer-algebra theorem-proving
  Java 2 7 0 0 Updated Feb 15, 2017

• KeYmaera-release

  Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

  java proof mathematica dynamical-systems differential-equations hybrid-systems theorem-prover
  Java 3 4 0 0 Updated Dec 15, 2014

• SMC
  Java 0 1 0 0 Updated Oct 3, 2013