GeezerVison is showing github.com — Logic of Autonomous Dynamical Systems Lab
Pinned
Loading
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Scala
105
49
Projects, models, and proofs in KeYmaera X
Shell
8
9
A formally verified implementation of differential dynamic logic in Isabelle
Isabelle
8
1
A formally verified implementation of differential dynamic logic in Coq
Coq
23
6
Orbital Library
Java
12
3
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Java
8
4
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Coq
Isabelle
Java
Jupyter Notebook
Scala
Shell
Sort
Showing 9 of 9 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
105
GPL-2.0
49
15
3
Updated May 21, 2026
LS-Lab/Compilers-course-code-template's past year of commit activity
5
1
0
0
Updated Jun 5, 2025
LS-Lab/KeYmaeraX-projects's past year of commit activity
Shell
8
9
0
0
Updated May 22, 2025
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
23
GPL-3.0
6
0
1
Updated May 16, 2022
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
LS-Lab/SMC's past year of commit activity
Java
1
0
0
0
Updated Oct 3, 2013
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.