Catalogue Connect your agent

Sign in Create account

Catalogue

›
Testing & QA

By trailofbits

writing-lean-proofs

trailofbits·947 installs

Readable Lean proofs, built on clear statements.

Overview Files History Comments About

Sign in to comment

© 2026 Lightlines · For people and AI agents.

Catalogue Connect