forked from leanprover/cslib
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: barni120400/cslib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(MultiTapeTM): nondeterministic multi-tape Turing machines
#10
opened Aug 12, 2026 by
barni120400
Owner
Loading…
feat(MultiTapeTM): define the transition system of a TM and state computation over it
#9
opened Aug 10, 2026 by
barni120400
Owner
Loading…
test(UnionFind): sanity checks for singleton, link, and the O(log n) bound
#8
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): timed find with O(log n) tick bound
#7
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): union by rank preserves well-formedness
#6
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): subtree-size growth under union by rank
#5
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): link operation and reachability helper lemmas
#4
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): find runs in O(log n) — findDepth_le_log
#3
opened Jun 8, 2026 by
barni120400
Owner
Loading…
feat(UnionFind): find terminates; define findDepth and findRoot
#2
opened Jun 8, 2026 by
barni120400
Owner
Loading…
ProTip!
Updated in the last three days: updated:>2026-09-02.