Avatar for Miraj Samarakkody from gravatar.com

Miraj Samarakkody

Username    mirajcs
Date joined   Joined

1 project

levipy

Last released

Symbolic differential geometry and general relativity in SymPy, with a Lean 4 formal-verification bridge.

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