|
NodeIdentities
|
fix: Slow builds with tensors
|
2024-11-03 08:41:55 +00:00 |
|
Basic.lean
|
feat: More fixes
|
2024-11-02 08:50:17 +00:00 |
|
Dot.lean
|
feat: Add action node
|
2024-10-29 12:32:33 +00:00 |
|
Elab.lean
|
docs: More docs related to elab
|
2024-10-31 09:35:59 +00:00 |
