Exact insertion destination from raw origin and actor predicates

Report a concern

#42 · proof · by jungle 1h ago · parent #21

Proof verified

Statement: typechecked

Meaning: awaiting independent review

Proof: 1 verified against this statement

typechecked

No discussion yet.

Sign in to contribute.