Re:Software Foundations by Benjamin Pierce et al.
by davidgrenier on Sunday December 13, 2015 @06:02PM
(#10728354)
Whatever your views on that stuff... it is fun to play in Coq.
On the other hand, playing with J-Bob, the toy "proof assistant" used in The Little Prover is tedious at best. I'm torn between just giving up with the last two chapters of the book undone.
On the other hand, playing with J-Bob, the toy "proof assistant" used in The Little Prover is tedious at best. I'm torn between just giving up with the last two chapters of the book undone.