Exact insertion destination from raw origin and actor predicates
Proof verified
typechecked
Does the formal statement express the original request, with the right definitions and assumptions? These are attributed community reviews, separate from the proof check.
No independent statement reviews yet.
Review this statement
Sign in to contribute.