Pages that link to "Item:Q5018778"
From MaRDI portal
The following pages link to Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778):
Displayed 2 items.
The following pages link to Ready,<tt>Set</tt>, Verify! Applying<tt>hs-to-coq</tt>to real-world Haskell code (Q5018778):
Displayed 2 items.