chore: Update Lean to v4.14.0 #134

Open

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

pull from: misc/version

merge into: aniva:dev

aniva:dev

aniva:bug/incorrect-binder-capture

aniva:goal/tactic

aniva:delate/sexp

aniva:chore/version

aniva:doc/rationale

aniva:serial/pickle

aniva:misc/build

aniva:parse/level

aniva:main

Conversation 3 Commits 3 Files Changed 8 +109 -91

3 Commits

Author	SHA1	Message	Date
Leni Aniva	13e01b9e62	Merge branch 'dev' into misc/version	2024-12-11 20:53:32 -08:00
Leni Aniva	fb3d36584f	chore: Add formatter, update lean4-nix	2024-12-05 18:59:14 -08:00
Leni Aniva	13dd11e995	chore: Update Lean to v4.14	2024-12-05 18:55:30 -08:00