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 isar - This is page 1 - GeneraCodice
When would you use `presume` in an Isar proof?
https://www.generacodice.com/en/articolo/8257035/when-would-you-use-presume-in-an-isar-proof
isabelle
-
isar
StackOverflow
How to make the assumption of the second case of an Isabelle/Isar proof by cases explicit right in place?
https://www.generacodice.com/en/articolo/7898691/how-to-make-the-assumption-of-the-second-case-of-an-isabelle-isar-proof-by-cases-explicit-right-in-place
proof
-
isabelle
-
isar
StackOverflow
What is an Isabelle/HOL subtype? What Isar commands produce subtypes?
https://www.generacodice.com/en/articolo/7541844/what-is-an-isabelle-hol-subtype-what-isar-commands-produce-subtypes
types
-
type-theory
-
subtype
-
isabelle
-
isar
StackOverflow
proof (rule disjE) for nested disjunction
https://www.generacodice.com/en/articolo/7247338/proof-rule-disje-for-nested-disjunction
isabelle
-
isar
StackOverflow
Results found: 6