jstoobysmith 08e9226e22 refactor: Update informal graph		2025-02-14 09:47:25 +00:00
..
check_rfl.lean	refactor: some docs	2025-02-14 08:50:24 +00:00
free_simps.lean	refactor: some docs	2025-02-14 08:50:24 +00:00
informal.lean	refactor: Update informal graph	2025-02-14 09:47:25 +00:00
notes.lean	refactor: some docs	2025-02-14 08:50:24 +00:00
redundent_imports.lean	refactor: some docs	2025-02-14 08:50:24 +00:00
TODO_to_yml.lean	refactor: some docs	2025-02-14 08:50:24 +00:00