Search results

TODO: reduce doc-build runtime and cache fragility

Status: Open.

#191 In Vilin97/lean-pool;

· Vilin97 opened on Jun 24, 2026

Host a prebuilt olean cache so contributors fetch instead of building (73 min → ~3 min)

Status: Open.

#190 In Vilin97/lean-pool;

· Vilin97 opened on Jun 24, 2026

TODO: Host a Loogle Server

Status: Open.

#178 In Vilin97/lean-pool;

· Vilin97 opened on Jun 12, 2026

Make Lean Pool projects academically citable (DOI / ORCID / companion notes)

Status: Open.

#116 In Vilin97/lean-pool;

· Vilin97 opened on May 20, 2026