Proof debt/standards 134 coq preservation admit#108

hyperpolymath wants to merge 2 commits into

mainhyperpolymath/ephapax:mainfrom

proof-debt/standards-134-coq-preservation-admithyperpolymath/ephapax:proof-debt/standards-134-coq-preservation-admitCopy head branch name to clipboard