Avatar for Richard Riis from gravatar.com

Richard Riis

Username    rpriis
Date joined   Joined

1 project

valiant-valiant-inequality-prover

Last released

Python implementation of the automatic inequality prover proposed by Valiant & Valiant (https://doi.org/10.1137/151002526)

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