chore: Update Lean to v4.10.0-rc1 #86

Merged

aniva merged 2 commits from misc/version into dev

2024-07-06 21:37:31 -07:00

Author	SHA1	Message	Date
Leni Aniva	9b1dd0ffda	chore: Update flake	2024-07-06 19:58:55 -07:00
Leni Aniva	c404564a2b	chore: Bump Lean version to 4.10.0-rc1	2024-07-06 19:53:50 -07:00