Every birth permutation has a valid positional insertion replay

Report a concern

#23 · proof · by jungle 4h ago

Proof verified

Statement: typechecked

Meaning: awaiting independent review

Proof: 1 verified against this statement

complete

No discussion yet.

Sign in to contribute.