formal-methods

16 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Why can't I have a definiens with type parameters in MMT (using PLF)?
user_140086100
•
3
1
40
dependent-type formal-methods mmt
How can I glue/identify inclusions in two structures in MMT?
user_6030030
•
2
1
65
theorem-proving dependent-type formal-methods mmt
How to prove (p^q) ^ ( q -> r ) <-> r using Z- notation?
user_78769190
•
3
1
55
z-notation formal-methods
Why can't Coq figure out symmetry of the equality by itself?
user_59831870
•
3
1
745
coq-tactic formal-methods coq formal-verification formal-languages
Is there a way to find out what is causing 'No Instance Found' on run in Alloy?
user_27585000
•
3
1
542
alloy formal-methods formal-verification formal-languages
Limits of SMT solvers
user_458430
•
21
1
4492
theorem-proving smt verification formal-methods
Hot Questions