hi. this isnt a haskell question but i am hoping you will forgive it.
i was wondering where i could find books/websites/tutorials on how to
construct proofs and how to prove programs. preferably books that are
aimed at novices with some programming experience but little math/logic
experience.
i h
At 7:19 PM -0700 3/17/03, Chris Moline wrote:
hi. this isnt a haskell question but i am hoping you will forgive it.
i was wondering where i could find books/websites/tutorials on how to
construct proofs and how to prove programs. preferably books that are
aimed at novices with some programming exp