Pinned Loading

1. KeYmaeraX-release KeYmaeraX-release Public

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

   Scala 81 40

2. KeYmaeraX-projects KeYmaeraX-projects Public

   Projects, models, and proofs in KeYmaera X

   Shell 7 8

3. Isabelle-dL Isabelle-dL Public

   A formally verified implementation of differential dynamic logic in Isabelle

   Isabelle 5

4. Coq-dL Coq-dL Public

   A formally verified implementation of differential dynamic logic in Coq

   Coq 17 3

5. orbital orbital Public

   Orbital Library

   Java 9 3

6. KeYmaera-release KeYmaera-release Public

   Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

   Java 8 4