A formal logic framework that runs in the browser - View it on GitHub