en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag theorem-proving - This is page 1 - GeneraCodice
Reals and theorem proving with Coq
https://www.generacodice.com/en/articolo/13680592/reals-and-theorem-proving-with-coq
coq
-
theorem-proving
StackOverflow
Defining Maybe monad in Coq
https://www.generacodice.com/en/articolo/12590632/defining-maybe-monad-in-coq
monads
-
functor
-
typeclass
-
coq
-
theorem-proving
StackOverflow
splitAt equality in Agda
https://www.generacodice.com/en/articolo/11999438/splitat-equality-in-agda
theorem-proving
-
agda
StackOverflow
Isabelle: getting three different results with sledgehammer for what seems to be identical lemmas
https://www.generacodice.com/en/articolo/11619842/isabelle-getting-three-different-results-with-sledgehammer-for-what-seems-to-be-identical-lemmas
theorem-proving
-
isabelle
StackOverflow
Proof arguments in Coq
https://www.generacodice.com/en/articolo/11197912/proof-arguments-in-coq
logic
-
coq
-
theorem-proving
StackOverflow
Coq: How to prove "a=b -> nat_compare a b = Eq."?
https://www.generacodice.com/en/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/en/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/en/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/en/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/en/articolo/9262854/proving-a-type-empty-in-agda
theorem-proving
-
agda
StackOverflow
«
1
2
3
4
5
6
»
Results found: 77