feat(Foundations/Data): Function view for Turing tapes#499
Open
crei wants to merge 3 commits intoleanprover:mainfrom
Open
feat(Foundations/Data): Function view for Turing tapes#499crei wants to merge 3 commits intoleanprover:mainfrom
crei wants to merge 3 commits intoleanprover:mainfrom
Commits
Commits on Apr 18, 2026
- committed
Commits on Apr 20, 2026
- andauthored
- committed
