SpiceQA
Questions
Tags
Users
Badges
implication
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Object level implication in Isabelle/HOL
user_1697709
0
•
asked Feb 28, 2020
4
1
124
implication
isabelle
Prolog if-then-else constructs: -> vs *-> vs. if_/3
user_927190
0
•
asked Oct 31, 2018
6
2
776
implication
logical-purity
control-structure
prolog
if-statement
1
(current)
Hot Questions