Skip to content

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

Merged
hendriktews merged 4 commits intoProofGeneral:masterfrom hendriktews:proof-statMay 13, 2024

Commits

Commits on May 2, 2024

Commits on May 12, 2024