jstoobysmith e1303cbcf8 refactor: some docs		2025-02-14 08:50:24 +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: some docs	2025-02-14 08:50:24 +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