Files
BFM-decomp/rules/R76.md
T

127 B

R76 -- Rehearse every irreversible repository operation on a scratch copy and prove it pair by pair with POSITIVE assertions