isar

8 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
IsarError: Could not initialize IsarCore library in Flutter
user_52319260
•
2
0
130
isar flutter database
Flutter-ISAR-How to open the inspector
user_132805200
•
1
2
488
isar dart flutter android windows
Instantiate type classes in locale contexts
user_93355960
•
2
1
44
isar isabelle typeclass
Nested cases Isar
user_92246990
•
2
1
71
isar isabelle
How to write intermediate proof statements inside Coq - similar to how in Isar one has `have Statement using Lemma1, Lemma2 by auto` but in Coq?
user_16015800
•
2
3
160
isar coqide isabelle coq-tactic coq
What are the semantics of assume for Isabelle/Isar?
user_16015800
•
4
1
306
isar theorem-proving isabelle
How to use a definition written on locale parameters in the assumptions of the locale?
user_24872540
•
3
1
92
isar isabelle
How to use obtain to make forward elimination proofs easier to read?
user_16178370
•
3
1
68
isar isabelle proof
  • 1
Hot Questions