isabelle

98 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is function declaration a term of type Constant and how to cast such function declaration to Const class?
user_13758820
•
2
2
74
isabelle scala
How to register MMT as Isabelle component on Windows 10 (to call isabelle mmt_build)?
user_13758820
•
1
1
40
isabelle mmt
'Undefined constant: "eq" simpdata.ML' while trying to load Imperative_Quicksort theory in scala-isabelle of Isabelle/HOL
user_13758820
•
2
1
54
isabelle scala
Isabelle code generation for terminating uses of possibly non-terminating functions
user_153146200
•
3
1
72
isabelle
What's the difference between Map and Mapping in Isabelle?
user_71486680
•
3
1
139
isabelle theory functional-programming
saving a datatype before fixing additional variable in Isabelle/HOL
user_150844150
•
1
1
48
isabelle types
How can I extract data from all elements of a multiset?
user_71486680
•
1
1
66
isabelle multiset algebraic-data-types function functional-programming
How to prove an element does not belong to an inductive_set
user_36964900
•
2
1
165
isabelle induction
How to write ARG_MIN in Isabelle
user_41965780
•
2
1
39
isabelle
how to do a proof for subset in Isabelle
user_36964900
•
3
1
140
isabelle proof set
Hot Questions