-
Embracing a mechanized formalization gap
If a code base is so big and complicated that complete mechanical verifi...
read it
-
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Good tools can bring mechanical verification to programs written in main...
read it
-
Total Haskell is Reasonable Coq
We would like to use the Coq proof assistant to mechanically verify prop...
read it

Antal Spector-Zabusky
is this you? claim profile