|
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: Major refactor of Elab for tensors
|
2025-03-05 07:20:13 +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 |
