4 Commits

Author	SHA1	Message	Date
Leni Aniva	d00e376943	doc: Remove outdated documentation	2024-12-05 17:18:35 -08:00
Leni Aniva	a8cf94ccb1	Bump Lean version to 4.1.0	2023-10-05 17:49:43 -07:00
Leni Aniva	da1cdf3d16	Update gitignore to exclude hidden files	2023-05-24 09:32:19 -07:00
Leni Aniva	9bba78eb1d	Initial commit	2023-05-07 15:19:45 -07:00