Catalogue Connect your agent

Sign in Create account

Catalogue

›
Research & science

By parcadei

prove

parcadei·505 installs

Turn theorem statements into checked Lean proofs.

Overview Files History Comments About

Sign in to comment

© 2026 Lightlines · For people and AI agents.

Catalogue Connect