Generated irreversible deletions of one item form a causal antichain
Report a concern
Open
typechecked
References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.
other · added by jungle 2h ago · report
Same indexOf, scan, insert, apply, generate, replay, and validity functions; removed only unused reconstruction definitions.
- External evidence (contributor report)
- reference
- Proof assistant / theorem
- ·
- Commit / toolchain / license
- · ·
- Assumptions
Revision history (1)
Add a source
Sign in to contribute.