3 ms·
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 te
by davidgrenier 11y ago
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.