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
Regards Filip -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/57bc24d3-3ee9-43f0-bf99-447a187840e9%40googlegroups.com.