Skip to content

Fourth Git Release
Compare
Choose a tag to compare
@tkw1536 tkw1536 released this 08 Feb 14:40
· 3830 commits to master since this release
v4.0.0
8a0c42d
This commit was signed with the committer’s verified signature.
tkw1536 Tom Wiesing
GPG key ID: 8376664616750651
Learn about vigilant mode.

Changes since the Third Git Release:

  • Improvements to IMPS Parser
  • Improvements to PVS Importer
  • Improvements to Metamath Importer / Parser
  • Miscellaneous other bug fixes and improvements
Assets 3
Loading