Milpgame can be used as a set.mm explorer
29 views
Skip to first unread message
Filip Cernatescu
Nov 8, 2019, 6:17:07 AM11/8/19
to Metamath
Milpgame shows proofs as tree, after you have understood that subtree you can close that subtree by clicking on minus.
You search theorems/axioms by the their name or by the their content. Milpgame use pretty printing to show axioms/theorems. The app version 0.9 can be downloaded from us2.metamath.org
You search theorems/axioms by the their name or by the their content. Milpgame use pretty printing to show axioms/theorems. The app version 0.9 can be downloaded from us2.metamath.org
Regards Filip
Reply all
Reply to author
Forward
0 new messages