pkgs/development/lean-modules/importGraph/
pkgs/development/lean-modules/ · 0 packages and modules · 1 open pull requests
Pull requests 1
lean4: 4.34.1 -> 4.35.0
#573851 by i-love-lean · opened 2d ago
Closed or merged in the synced window 2
lean4: 4.30.0 -> 4.34.1
#566690 by i-love-lean · merged 13d ago
lean4: 4.30.0 -> 4.33.0
#545312 by jthulhu · closed 3w ago
Issues 0
None open.