Use that in place of the old encoding: #70 (comment 52817) Requires dropping support for Coq 8.7.
Attach a file by drag & drop or click to upload