Newbetuts
.
New posts in formal-methods
Can Haskell functions be proved/model-checked/verified with correctness properties?
testing
haskell
functional-programming
formal-methods
formal-verification
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
coq
isabelle
formal-methods
What are the most interesting equivalences arising from the Curry-Howard Isomorphism?
functional-programming
formal-methods
curry-howard
Prev