Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-subst
Lean4 library for substitution inspired by autosubst
Lean
Emerging
autosubst
lean4
substitution
GitHub
Website
Stars
11
Forks
2
Contributors
1
Last push
4d ago
Recent commits
Latest commits.
Add append operations and better renaming support (#2)
e70331d
Andrew Marmaduke
4d ago
Restructure to make renamings primary (#1)
9126d76
Andrew Marmaduke
8d ago
fix includes and add notation names
705cab3
Andrew Marmaduke
1mo ago
add heterogenous renamings
e76be2e
Andrew Marmaduke
1mo ago
derp moment
5cf3f3a
Andrew Marmaduke
1mo ago
put ren and subst in structures
74f2fd5
Andrew Marmaduke
1mo ago
update lilac
756ee47
Andrew Marmaduke
2mo ago
fix docs and examples
9c9ee0f
Andrew Marmaduke
2mo ago
Top contributors
Builders behind this project.
amarmaduke
56 commits
