chore: Update Lean to v4.20.1 #209

Merged

aniva merged 6 commits from chore/toolchain into dev

2025-06-18 16:39:19 -07:00

Author	SHA1	Message	Date
Leni Aniva	66eb98397b	merge: branch 'dev' into chore/toolchain	2025-06-18 15:10:21 -07:00
Leni Aniva	9645f706d4	chore: Update lean4-nix	2025-06-18 14:38:56 -07:00
Leni Aniva	b7f0ae435a	test: Use `withTempFile` to ensure graceful exit	2025-06-18 14:35:22 -07:00
Leni Aniva	a8b7f69632	fix(env): Use documentUriFromModule	2025-06-17 11:10:52 -07:00
Leni Aniva	b2b7cc388a	chore: Fix most test failures	2025-06-17 10:54:10 -07:00
Leni Aniva	3ce335ebfe	chore: Update Lean to v4.20.1	2025-06-17 08:38:03 -07:00