Skip to content

v0.99.5

Latest
Compare
Choose a tag to compare
@sacerdot sacerdot released this 03 Oct 09:11
· 61 commits to master since this release

First release of Matita after moving the development to GitHub