Avatar for Isaac from gravatar.com

Isaac

Username    Isaac2023
Date joined   Joined

1 project

FormalGeo

Last released

Formal representation and solving for Euclidean plane geometry problems.

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