All issues

Search results

Release Lean Pool on Hugging Face

Status: Open.

#525 In Vilin97/lean-pool;

· NielsRogge opened on Sep 24, 2026

Add support for formalization.yaml

Status: Open.

#466 In Vilin97/lean-pool;

· Vilin97 opened on Sep 20, 2026

Propose: Euler's pentagonal number theorem — two independent proofs

Status: Open.

#404 In Vilin97/lean-pool;

· JonCYeh opened on Sep 8, 2026

Track and reuse version bumps of imported projects

Status: Open.

#346 In Vilin97/lean-pool;

· Vilin97 opened on Aug 23, 2026

TODO: reduce doc-build runtime and cache fragility

stale

Status: Open.

#191 In Vilin97/lean-pool;

· Vilin97 opened on Jun 24, 2026