Skip to content

avoid deprecated Proof <term>.

Ralf Jung requested to merge ralf/proof-term into master

I didn't even know this was a thing, and it seems the Coq devs consider it deprecated and won't fix the issues it has (it doesn't properly work in ProofGeneral).

Merge request reports