Avatar for Oliver Dressler from gravatar.com

Oliver Dressler

Username    OliverDressler
Date joined   Joined

3 projects

lean-lsp-mcp

Last released

Lean Theorem Prover MCP

leanclient

Last released

Interact with the Lean theorem prover language server

sorrydb

Last released

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 Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page