forked from leanprover/cslib
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: crei/cslib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(Computability/MultiTapeTM): input/output tape predicates
#162
opened Apr 21, 2026 by
SamuelSchlesinger
Loading…
ProTip!
Follow long discussions with comments:>50.