smitsch

Pinned Repositories

• KeYmaera-release

  Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

  Language:Java8404

• KeYmaeraX-projects

  Projects, models, and proofs in KeYmaera X

  Language:Shell51508

• KeYmaeraX-release

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

  Language:Scala771411039

smitsch's Repositories