Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778)
From MaRDI portal
scientific article; zbMATH DE number 7450477
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code |
scientific article; zbMATH DE number 7450477 |
Statements
Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (English)
0 references
22 December 2021
0 references
