Profile of austinletson · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

1 project

sorrydb

Last released Jun 21, 2025

Build a continously updating database of sorry statements in public Lean4 repositories

Supported by

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Depot Continuous Integration

Google Download Analytics

Pingdom Monitoring

Sentry Error logging

StatusPage Status page