milpgame1.1a

50 views
Skip to first unread message

Filip Cernatescu

unread,
Feb 8, 2020, 2:56:39 AM2/8/20
to Metamath
Hello metamath contributors!

Milpgame1.1a has new features that mimic mmj2 features plus milpgame has proof browser that allow users to have an overview over the proof.

Video tutorial with new features is available on youtube.comhttps://www.youtube.com/watch?v=u5X8EbHUOGs

Milpgame1.1a can be downloaded from us2.metamath.org  :   http://us2.metamath.org/other/milpgame/milpgame.html

I expect your critics!

Regards  Filip!

Jon P

unread,
Feb 10, 2020, 5:09:08 AM2/10/20
to Metamath
I had a quick look this morning. I like some of the ideas you are pursuing to make proving easier and more intuitive. I think I have said this before but having the whole list of theorems on the left is a very cool idea :)
Reply all
Reply to author
Forward
0 new messages