Skip to content
@LS-Lab

Logic of Autonomous Dynamical Systems Lab

Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology

Pinned Loading

  1. KeYmaeraX-release KeYmaeraX-release Public

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

    Scala 74 37

  2. KeYmaeraX-projects KeYmaeraX-projects Public

    Projects, models, and proofs in KeYmaera X

    Shell 5 8

  3. Isabelle-dL Isabelle-dL Public

    A formally verified implementation of differential dynamic logic in Isabelle

    Isabelle 4

  4. Coq-dL Coq-dL Public

    A formally verified implementation of differential dynamic logic in Coq

    Coq 12 3

  5. orbital orbital Public

    Orbital Library

    Java 7 3

  6. KeYmaera-release KeYmaera-release Public

    Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

    Java 8 4

Repositories

Showing 7 of 7 repositories
  • KeYmaeraX-release Public

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

    LS-Lab/KeYmaeraX-release’s past year of commit activity
    Scala 74 GPL-2.0 37 14 2 Updated Jul 5, 2024
  • KeYmaeraX-projects Public

    Projects, models, and proofs in KeYmaera X

    LS-Lab/KeYmaeraX-projects’s past year of commit activity
    Shell 5 8 0 0 Updated Jun 19, 2024
  • Isabelle-dL Public

    A formally verified implementation of differential dynamic logic in Isabelle

    LS-Lab/Isabelle-dL’s past year of commit activity
    Isabelle 4 0 0 0 Updated May 16, 2022
  • Coq-dL Public

    A formally verified implementation of differential dynamic logic in Coq

    LS-Lab/Coq-dL’s past year of commit activity
    Coq 12 GPL-3.0 3 0 1 Updated May 16, 2022
  • orbital Public

    Orbital Library

    LS-Lab/orbital’s past year of commit activity
    Java 7 GPL-2.0 3 0 0 Updated Feb 15, 2017
  • KeYmaera-release Public

    Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

    LS-Lab/KeYmaera-release’s past year of commit activity
    Java 8 4 0 0 Updated Dec 15, 2014
  • SMC Public
    LS-Lab/SMC’s past year of commit activity
    Java 1 0 0 0 Updated Oct 3, 2013

Top languages

Loading…

Most used topics

Loading…