VSCode Extension - Proof Assistant for Metamath
Stars
14
Forks
2
Watchers
14
Open Issues
9
Overall repository health assessment
^12.12.0^4.23.0^4.23.0^7.26.0^5.9.3refactor: improve diagnostic message for unreplaceable working variables
1310032View on GitHubrefactor(MmpValidator): extract diagnostic logic for complete proof with working vars that cannot be automatically replaced
3a54a63View on GitHubHandle missing unused variables during working var replacement
d4992f4View on GitHubrefactor: rename WorkingVarReplacer to WorkingVarReplacerForCompleteProof
39a291cView on GitHubtest: add regression test for multiple working variables (Issue #23)
c7e9970View on GitHubfeat: replace working variables with theory variables on proof completion
2b06b75View on GitHubtest: add failing case for working variable replacement (#23)
e3af66aView on GitHubfeat: support MMP conversion for normal (non-compressed) Metamath proofs (Correction to previous commit message)
f756bd0View on GitHubFix comment handling and compressed proof support in MmToMmpConverter
c1cb732View on GitHubMerge pull request #28 from Antony74/feature/mm-parser-flexibility
62fce69View on GitHub