Logic of Autonomous Dynamical Systems Lab

Logic of Autonomous Dynamical Systems Lab @ Karlsruhe Institute of Technology

Pinned Loading

KeYmaeraX-release KeYmaeraX-release Public

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

Scala 101 49
KeYmaeraX-projects KeYmaeraX-projects Public

Projects, models, and proofs in KeYmaera X

Shell 8 9
Isabelle-dL Isabelle-dL Public

A formally verified implementation of differential dynamic logic in Isabelle

Isabelle 8 1
Coq-dL Coq-dL Public

A formally verified implementation of differential dynamic logic in Coq

Coq 21 7
orbital orbital Public

Orbital Library

Java 12 3
KeYmaera-release KeYmaera-release Public

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

Java 8 4

Type Language Sort

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 101 GPL-2.0 49 15 2 Updated May 21, 2026
Compilers-course-code-template Public template

LS-Lab/Compilers-course-code-template's past year of commit activity

5 1 0 0 Updated Jun 5, 2025
KeYmaeraX-projects Public
Projects, models, and proofs in KeYmaera X

LS-Lab/KeYmaeraX-projects's past year of commit activity

Shell 8 9 0 0 Updated May 22, 2025
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 1 0 0 0 Updated Mar 3, 2025
Isabelle-dL Public
A formally verified implementation of differential dynamic logic in Isabelle

LS-Lab/Isabelle-dL's past year of commit activity

Isabelle 8 1 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 21 GPL-3.0 7 0 1 Updated May 16, 2022
orbital Public
Orbital Library

LS-Lab/orbital's past year of commit activity

Java 12 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