3 commits

Author	SHA1	Message	Date
jstoobysmith	e1303cbcf8	refactor: some docs	2025-02-14 08:50:24 +00:00
jstoobysmith	be13241fe5	Update TODO_to_yml.lean	2025-02-03 06:40:27 +00:00
jstoobysmith	ca044d3786	feat: Improved todo list	2025-01-22 10:32:39 +00:00