- Stanford University Centaur Lab
- https://leni.sh
-
Director of NorCal Hakkero Factory No. 1
- Joined on
2023-08-21
chore: Update lean4-nix to mainline
feat: Nix flake build for Darwin
doc: Add system installation guide
chore: Update lean4-nix to mainline
chore: Update Lean4 upstream to unofficial flake
feat: State and environment pickling
If we pickle the state we could possibly leave the environment out to save space.