Avatar for Laura Scharff from gravatar.com

Laura Scharff

Username    laura-harmonic
Date joined   Joined

1 project

aristotlelib

Last released

Aristotle SDK - Python library for automated theorem proving with Lean

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