Coq-dL
A formally verified implementation of differential dynamic logic in Coq
파일 탐색기
- DDLaxioms.v
- differential.v
- differential_axioms.v
- differential_invariant.v
- integral.v
- checker.v
- eq_rel.v
- LibTactics.v
- tactics.v
- tactics2.v
- universe.v
- UsefulTypes.v
- DI_and.v
- DI_or.v
- example1.v
- example2.v
- bound_effect.v
- coincidence.v
- composition.v
- deriv_util.v
- division.v
- dynamic_semantics.v
- dynamic_semantics_prop.v
- eassignables.v
- ext_interpretation.v
- faaDiBruno.v
- fcset.v
- free_vars_term.v
- multiplication.v
- semantics_util.v
- static_sem.v
- static_sem_lemmas.v
- adjoint_interpretation.v
- admissible_terms.v
- bound_swapping.v
- eassignables_subterm.v
- eassignables_terms.v
- lookup_lemmas.v
- soundness.v
- swapping.v
- US.v
- US_defs.v
- US_lemmas.v
- decidability.v
- expressions.v
- list_util.v
- old_expressions.v
- reals_util.v
- state.v
- symbol.v
- symbol_lemmas.v
- tactics_util.v
- terms_util.v
- terms_util2.v
- vec_util.v
- _CoqProject
- all.v
- create_makefile.sh
- LICENCE
- README.md
# CDN으로 사용하기
jsDelivrjsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.
링크
예시
명령어 용어집
이 문서에서 사용된 명령어를 모아봤습니다. 낯선 명령어가 있다면 펼쳐서 확인해보세요.
opam
설명 보기 ▼
opam
OCaml 패키지 관리자.
OCaml 컴파일러, 도구 및 라이브러리를 관리합니다.
더 많은 정보: <https://opam.ocaml.org/doc/Usage.html>.
opam init
첫 사용을 위한 opam 초기화:
opam search {{query}}
패키지 검색:
opam install {{package}}
패키지 및 모든 의존성 설치:
// repository documentation
Was this content helpful?
(0 ratings)