jstoobysmith
|
116aa11660
|
Update informal.lean
|
2024-09-16 11:22:26 -04:00 |
|
jstoobysmith
|
7b0ed296f5
|
Update informal.lean
|
2024-09-16 11:15:06 -04:00 |
|
jstoobysmith
|
6713e2f86d
|
Update informal.lean
|
2024-09-16 10:11:25 -04:00 |
|
jstoobysmith
|
bf5db3aa91
|
feat: Extract informal def and lemmas
|
2024-09-16 10:07:40 -04:00 |
|
jstoobysmith
|
0214c166b5
|
feat: Add extract dependency graph
|
2024-09-16 07:40:15 -04:00 |
|
jstoobysmith
|
49d089d4cd
|
refactor: Replace some simp with simp only
|
2024-09-04 15:33:54 -04:00 |
|
jstoobysmith
|
49802e4616
|
refactor: Move tensors & index notation
|
2024-09-04 10:01:14 -04:00 |
|
jstoobysmith
|
8747f9cd4e
|
docs: references
|
2024-09-04 08:40:34 -04:00 |
|
jstoobysmith
|
bbe507360e
|
feat: Update meta programs
|
2024-09-04 08:20:10 -04:00 |
|
jstoobysmith
|
4d2eea5fc5
|
docs: update
|
2024-09-03 15:39:41 -04:00 |
|
jstoobysmith
|
d40f60a0fa
|
feat: add check_rfl metaprogramming script
|
2024-09-03 15:35:12 -04:00 |
|