KeYmaeraX-projects

(★ 8)

Projects, models, and proofs in KeYmaera X

오너의 다른 레포

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

파일 탐색기

ZIP 다운로드
  • README.md

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

링크
예시

명령어 용어집

이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.

🔍

java

설명 보기 ▼

Java 애플리케이션 실행기.
더 많은 정보: <https://docs.oracle.com/en/java/javase/25/docs/specs/man/java.html>.

java {{classname}}

메인 메서드를 포함한 Java `.class` 파일을 클래스 이름만 사용하여 실행:

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

추가 서드파티 또는 사용자 정의 클래스를 사용하여 Java 프로그램 실행:

java -jar {{filename.jar}}

`.jar` 프로그램 실행:

// repository documentation