Hi team,
been working on a simple tool to automatically split up lean4 mathlib into a lattice of moduiles and nix flakes for easy building of just one part.
github.com/meta-introspector/lean-split-tool
meta-introspector.github.io/lean-split-tool/
my github.com/meta-introspector/mathlib4/tree/feature/split branch is way out of date, will update it now.
Hi team,
been working on a simple tool to automatically split up lean4 mathlib into a lattice of moduiles and nix flakes for easy building of just one part.
github.com/meta-introspector/lean-split-tool
meta-introspector.github.io/lean-split-tool/
my github.com/meta-introspector/mathlib4/tree/feature/split branch is way out of date, will update it now.