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 isabelle - This is page 12 - GeneraCodice
What rule does 'apply (rule)' or 'proof' use?
https://www.generacodice.com/en/articolo/6949882/what-rule-does-apply-rule-or-proof-use
isabelle
StackOverflow
Faster code for 'distinct' on lists
https://www.generacodice.com/en/articolo/6949711/faster-code-for-distinct-on-lists
optimization
-
code-generation
-
scala
-
isabelle
StackOverflow
How to prove code correctness lemmas with the "undefined" constant
https://www.generacodice.com/en/articolo/6924559/how-to-prove-code-correctness-lemmas-with-the-undefined-constant
code-generation
-
isabelle
StackOverflow
Why is a meta-universally quantified variable renamed and how is it prevented?
https://www.generacodice.com/en/articolo/6808801/why-is-a-meta-universally-quantified-variable-renamed-and-how-is-it-prevented
rename
-
isabelle
StackOverflow
Elimination rule for finitely-bounded quantifiers
https://www.generacodice.com/en/articolo/6801148/elimination-rule-for-finitely-bounded-quantifiers
theorem-proving
-
isabelle
-
quantifiers
StackOverflow
Lifting a partial definition to a quotient type
https://www.generacodice.com/en/articolo/6788716/lifting-a-partial-definition-to-a-quotient-type
isabelle
StackOverflow
Splitting a variable of product/tuple/pair type into its members in apply style
https://www.generacodice.com/en/articolo/6780748/splitting-a-variable-of-product-tuple-pair-type-into-its-members-in-apply-style
isabelle
StackOverflow
Drop a variable in a goal in apply style
https://www.generacodice.com/en/articolo/6775585/drop-a-variable-in-a-goal-in-apply-style
isabelle
StackOverflow
Exporting code from locales with multiple parameters
https://www.generacodice.com/en/articolo/6760162/exporting-code-from-locales-with-multiple-parameters
isabelle
StackOverflow
Drop a premise in a goal in apply style
https://www.generacodice.com/en/articolo/6759013/drop-a-premise-in-a-goal-in-apply-style
isabelle
StackOverflow
«
9
10
11
12
13
14
»
Results found: 146