-
Recent Posts
Recent Comments
Joe Rybicki on Paste as plain text with … bl4ckb1rd on Adding a session to a Django r… Rag on Copying the config from a Cisc… Mike on Copying the config from a Cisc… JIBBER!!!! on Adding a session to a Django r… Archives
Tag Archives: racket
J-Bob from the Little Prover
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