proof-stat: minor corrections + new feature to mark failing proofs in the sources - Githubissues

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

492 stars 89 forks source link

proof-stat: minor corrections + new feature to mark failing proofs in the sources #765

Closed hendriktews closed 6 months ago