KeYmaeraX-projects

(★ 8)

Projects, models, and proofs in KeYmaera X

Owner Repos

KeYmaeraX-release ★ 101

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

Scala
Coq-dL ★ 21

A formally verified implementation of differential dynamic logic in Coq

Coq
Isabelle-dL ★ 8

A formally verified implementation of differential dynamic logic in Isabelle

Isabelle

File Explorer

ZIP Download
  • README.md

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

java

View Details ▼

Java application launcher.

java {{classname}}

Execute a Java `.class` file that contains a main method by using just the class name:

java -classpath {{path/to/classes1}}:{{path/to/classes2}}:. {{classname}}

Execute a Java program and use additional third-party or user-defined classes:

java -jar {{filename.jar}}

Execute a `.jar` program:

// repository documentation