search

milpgame / milpgame

Java proof assistant and checker for Metamath language
http://www.milpgame.com
MIT License
4 stars 1 forks source link

This version is older than that on metamath.org #5

Open vvs- opened 5 years ago

vvs- commented 5 years ago

The version in this repository is 0.7 while that on metamath.org is 0.8.

milpgame commented 5 years ago

Sorry for that, when I will release next version 0.9(in a month of two) I will put the source code on GitHub.