Alexander von Humboldt Professor at Karlsruhe Institute of Technology leading Logical Systems Lab at Carnegie Mellon University
-
Karlsruhe Institute of Technology
- https://lfcps.org/
Highlights
- Pro
Block or Report
Block or report aplatzer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
LS-Lab/KeYmaeraX-release
LS-Lab/KeYmaeraX-release PublicKeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
-
LS-Lab/KeYmaeraX-projects
LS-Lab/KeYmaeraX-projects PublicProjects, models, and proofs in KeYmaera X
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.