5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Sayantan Santra	eb673e816c	Create README.md	2024-02-05 21:33:03 -06:00
SinTan1729	65bce604f9	new: Added LICENSE	2024-02-05 21:31:10 -06:00
SinTan1729	531dd25bd1	chg: Renamed the project	2024-02-05 21:27:10 -06:00
SinTan1729	89997aeb57	build: Update lean and add some gitignores	2024-02-05 21:22:49 -06:00
SinTan1729	0612fdd505	new: Initial commit	2024-02-05 20:50:26 -06:00