Email Address * *
Name
Subject *
Message * HaskHOL A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving. - 1249078741 - 9781249078746