Monthly Archives: October 2017

J-Bob from the Little Prover

Posted on October 22, 2017 by Lorin Hochstein

The Little Prover book references a companion proof assistant tool called J-Bob. I had a hard time getting it running using Racket’s Dracula package, here’s how to do it: Install Racket. Install the Dracula package for Racket. On macOS, I … Continue reading →

Posted in Uncategorized | Tagged , , , | Leave a comment