LS-Lab/KeYmaeraX-projects LS-Lab/KeYmaeraX-projects

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Shell
  • Created over 7 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
LS-Lab/KeYmaeraX-projects
github

LS-Lab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Projects, models, and proofs in KeYmaera X

More Repositories

1

KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Scala
75
star
2

Coq-dL

A formally verified implementation of differential dynamic logic in Coq
Coq
12
star
3

KeYmaera-release

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Java
8
star
4

orbital

Orbital Library
Java
7
star
5

Isabelle-dL

A formally verified implementation of differential dynamic logic in Isabelle
Isabelle
4
star
6

SMC

Java
1
star