chore: Update Lean to v4.19.0 #205

Merged

aniva merged 2 commits from chore/toolchain into dev 2025-06-16 13:54:09 -07:00

Conversation 2 Commits 2 Files Changed 7 +39 -70

2 Commits

Author	SHA1	Message	Date
Leni Aniva	0fa5ac335e	fix: Load environment extensions	2025-06-16 13:45:57 -07:00
Leni Aniva	d41ec67a63	chore: Update Lean to v4.19.0	2025-05-07 09:53:29 -04:00