Avatar for Augustin d'Oultremont from gravatar.com

Augustin d'Oultremont

Username    Augustindou
Date joined   Joined

2 projects

natural2lean

Last released

Translation of proofs from Natural Language to Lean

natural2lean-cli

Last released

Command line interface for natural2lean package

Supported by

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