WIP: feat: mechanization of "Interval Tree Clocks" - #13

Closed

alexkeizer wants to merge 7 commits into

mainfrom

Commits on Mar 6, 2026

WIP: feat: mechanization of "Interval Tree Clocks"
alexkeizer
committed
8161110
cleanup, remove stale comment
alexkeizer
committed
df1e9be
add both flavours of indep_fork statement
alexkeizer
committed
f456e88
format
alexkeizer
committed
771bacd
rename indep_fork'
alexkeizer
committed
452238d
prove indep_fork
alexkeizer
committed
74abad9
not_fork_le, show that id-order is a pre-order
alexkeizer
committed
04a48b0