4 Commits

Author	SHA1	Message	Date
Leni Aniva	a8cf94ccb1	Bump Lean version to 4.1.0	2023-10-05 17:49:43 -07:00
Leni Aniva	d7077ce854	Bump lean version to 4.0.0	2023-09-13 21:02:26 -07:00
Leni Aniva	5cedb9d88c	version bump, restructure	2023-08-13 21:19:06 -07:00
Leni Aniva	9bba78eb1d	Initial commit	2023-05-07 15:19:45 -07:00