Isabelle-dL

(★ 8)

A formally verified implementation of differential dynamic logic in Isabelle

오너의 다른 레포

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
KeYmaeraX-projects ★ 8

Projects, models, and proofs in KeYmaera X

Shell

파일 탐색기

ZIP 다운로드
  • .gitignore
  • Axioms.thy
  • Bound_Effect.thy
  • Codegen-Exploder.thy
  • Codegen_Example.thy
  • Codegen_Exploder.thy
  • Coincidence.thy
  • Denotational_Semantics.thy
  • Differential_Axioms.thy
  • Differential_Axioms2.thy
  • Differential_Dynamic_Logic.thy
  • Example_DIAnd.thy
  • Example_System.thy
  • Finite_String.thy
  • Frechet_Correctness.thy
  • Ids.thy
  • Interval_Arithmetic.thy
  • Interval_Rat.thy
  • Lib.thy
  • Lib.thy~
  • Notation_HOL.thy
  • Notation_Word.thy
  • Pretty_Printer.thy
  • Proof_Checker.thy
  • README.md
  • ROOT
  • Scratch.thy
  • Static_Semantics.thy
  • Syntax.thy
  • Uniform_Renaming.thy
  • USubst.thy
  • USubst_Lemma.thy

# CDN으로 사용하기

jsDelivr

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

링크
예시
// repository documentation