PLAR. Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison

github.com/steshaw/PLAR

Problem

Audience

Updates

No founder updates yet. Check back soon.