chore: Update Lean4 upstream to unofficial flake #115

Open

aniva wants to merge 3 commits from misc/build into dev

pull from: misc/build

merge into: aniva:dev

aniva:dev

aniva:serial/pickle

aniva:goal/tactic

aniva:parse/level

aniva:misc/toolchain

aniva:misc/interaction

aniva:main

Conversation 1 Commits 3 Files Changed 2 +71 -97

3 Commits

Author	SHA1	Message	Date
Leni Aniva	b99fecdb50	chore: Update `lean4-nix`	2024-10-26 17:52:37 -07:00
Leni Aniva	23efed960b	chore: Update `lean4-nix`	2024-10-26 13:49:03 -07:00
Leni Aniva	d23f99fd44	feat: Update Lean4 upstream to unofficial flake	2024-10-14 21:16:41 -07:00