pkgs/development/lean-modules/
pkgs/development/ · 0 packages and modules · 1 open pull requests
Busy below
Cli 1 · LeanSearchClient 1 · Qq 1 · aesop 1 · batteries 1 · importGraph 1 · lean4 1 · mathlib 1 · plausible 1 · proofwidgets 1
Pull requests 1
lean4: 4.34.1 -> 4.35.0
#573851 by i-love-lean · opened 2d ago · checks pass
Closed or merged in the synced window 3
lean4: 4.30.0 -> 4.34.1
#566690 by i-love-lean · merged 13d ago
lean4: fix install prefix for CMake 4.4
#563148 by accelbread · merged 3w ago
lean4: 4.30.0 -> 4.33.0
#545312 by jthulhu · closed 3w ago
Issues 0
None open.