한국어
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
전체 기사
카테고리
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
당신은 쓰기
사용자
로그인
등록
비밀번호 복구
태그
언어 태그
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
태그 coq - 이것은 페이지 29 페이지입니다 - GeneraCodice
How CompCert “proves” different things in its codebase
https://www.generacodice.com/ko/articolo/1600377/how-compcert-proves-different-things-in-its-codebase
type-theory
-
coq
-
proof-techniques
-
software-verification
cs.stackexchange
Why does substitution terminate?
https://www.generacodice.com/ko/articolo/1592887/why-does-substitution-terminate
semantics
-
programming-languages
-
termination
-
lambda-calculus
-
coq
cs.stackexchange
In Coq, what does it mean to have an inductive type where the right-hand side of “:” is Prop?
https://www.generacodice.com/ko/articolo/1589344/in-coq-what-does-it-mean-to-have-an-inductive-type-where-the-right-hand-side-of-is-prop
coq
-
inductive-datatypes
cs.stackexchange
positivity condition in Coq/CIC
https://www.generacodice.com/ko/articolo/1589312/positivity-condition-in-coq-cic
logic
-
programming-languages
-
coq
cs.stackexchange
What does instantiating existential variables with out of scope variable imply?
https://www.generacodice.com/ko/articolo/1589191/what-does-instantiating-existential-variables-with-out-of-scope-variable-imply
logic
-
coq
cs.stackexchange
Is possible to prove undecidability of the halting problem in Coq?
https://www.generacodice.com/ko/articolo/1588175/is-possible-to-prove-undecidability-of-the-halting-problem-in-coq
halting-problem
-
coq
cs.stackexchange
How to prove T Z = Z for binary representation of natural numbers in Coq
https://www.generacodice.com/ko/articolo/1588117/how-to-prove-t-z-z-for-binary-representation-of-natural-numbers-in-coq
coq
cs.stackexchange
I don't know how to prove a simple theorem used with fixpoint in Coq
https://www.generacodice.com/ko/articolo/1584166/i-don-t-know-how-to-prove-a-simple-theorem-used-with-fixpoint-in-coq
coq
cs.stackexchange
Proving tautology with coq
https://www.generacodice.com/ko/articolo/1577327/proving-tautology-with-coq
logic
-
coq
cs.stackexchange
Proof of equality with destructuring let…in
https://www.generacodice.com/ko/articolo/1572820/proof-of-equality-with-destructuring-let-in
coq
cs.stackexchange
«
26
27
28
29
30
31
»
결과가 발견되었습니다: 331