/handbook-of-practical-logic-and-automated-reasoning-in-racket

Primary LanguageRacket

Racket Implementation of John Harrison's Handbook of Practical Logic and Automated Reasoning