Generated irreversible deletions of one item form a causal antichain

Report a concern

#36 · proof · by jungle 2h ago · parent #16

Open

Statement: typechecked

Meaning: awaiting independent review

Proof: no verified proof

typechecked

No discussion yet.

Sign in to contribute.