Explore @LS-Lab Open Source projects

Logical Systems Lab (@LS-Lab)

LS-Lab

Stars
112
Global Org. Rank 54,913 (Top 18 %)
Registered over 11 years ago
Most used languages

Java
42.9 %

Coq 14.3 %

Shell
14.3 %

Scala
14.3 %

Isabelle 14.3 %
Location 🇩🇪 Germany
Country Total Rank 9,786
Country Ranking

Coq 7

Isabelle 7

Scala
75

Java
2,528

Shell
3,179

KeYmaeraX-release

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

Coq-dL

A formally verified implementation of differential dynamic logic in Coq

KeYmaera-release

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

orbital

Orbital Library

KeYmaeraX-projects

Projects, models, and proofs in KeYmaera X

Isabelle-dL

A formally verified implementation of differential dynamic logic in Isabelle

SMC