Pусский
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
Tag theorem-proving - Это страница 2 - GeneraCodice
Coq: How to prove "a=b -> nat_compare a b = Eq."?
https://www.generacodice.com/ru/articolo/10650843/coq-how-to-prove-a-b-nat-compare-a-b-eq
coq
-
theorem-proving
StackOverflow
Degree of polynomial smaller than a number
https://www.generacodice.com/ru/articolo/9831882/degree-of-polynomial-smaller-than-a-number
polynomial-math
-
theorem-proving
-
isabelle
StackOverflow
How can I use rules suggested by solve_direct? (by (rule …) doesn't always work)
https://www.generacodice.com/ru/articolo/9596199/how-can-i-use-rules-suggested-by-solve-direct-by-rule-doesn-t-always-work
proof
-
solver
-
theorem-proving
-
isabelle
StackOverflow
Isabelle trivial issue: “Max (S::nat set) = 0” implies all elements of S are zero
https://www.generacodice.com/ru/articolo/9445644/isabelle-trivial-issue-max-s-nat-set-0-implies-all-elements-of-s-are-zero
max
-
theorem-proving
-
isabelle
StackOverflow
Proving a type empty in Agda
https://www.generacodice.com/ru/articolo/9262854/proving-a-type-empty-in-agda
theorem-proving
-
agda
StackOverflow
Establishing that a record type belongs to a given class
https://www.generacodice.com/ru/articolo/9119847/establishing-that-a-record-type-belongs-to-a-given-class
theorem-proving
-
isabelle
StackOverflow
How to generate html version of Isabelle theory
https://www.generacodice.com/ru/articolo/8987616/how-to-generate-html-version-of-isabelle-theory
theorem-proving
-
isabelle
StackOverflow
Automatic theorem proving
https://www.generacodice.com/ru/articolo/8504013/automatic-theorem-proving
prolog
-
theorem-proving
StackOverflow
Isabelle matrix arithmetic: det_linear_row_setsum in library with different notation
https://www.generacodice.com/ru/articolo/8503323/isabelle-matrix-arithmetic-det-linear-row-setsum-in-library-with-different-notation
matrix
-
theorem-proving
-
isabelle
StackOverflow
destruct with dependent types
https://www.generacodice.com/ru/articolo/8322864/destruct-with-dependent-types
coq
-
theorem-proving
StackOverflow
«
1
2
3
4
5
6
»
Результаты найдены: 77