Avatar for Harris Bolus from gravatar.com

Harris Bolus

Username    hjbolus
Date joined   Joined

1 project

mltp

Last released

Tools for propositional and predicate logic, based on the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page