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 79 40

  2. KeYmaeraX-projects KeYmaeraX-projects Public

    Projects, models, and proofs in KeYmaera X

    Shell 6 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 15 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

Repositories

Showing 8 of 8 repositories
  • Verified-Neural-Highway-Control Public

    Verification of Autonomous Neural Car Control with KeYmaera X

    LS-Lab/Verified-Neural-Highway-Control’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Mar 3, 2025
  • 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 79 GPL-2.0 40 15 2 Updated Feb 28, 2025
  • KeYmaeraX-projects Public

    Projects, models, and proofs in KeYmaera X

    LS-Lab/KeYmaeraX-projects’s past year of commit activity
    Shell 6 8 0 0 Updated Aug 30, 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 5 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 15 GPL-3.0 3 0 1 Updated May 16, 2022
  • orbital Public

    Orbital Library

    LS-Lab/orbital’s past year of commit activity
    Java 9 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…