search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Tutorial 9 #28

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

This inserts a new "Page503" with another demo of how '!' works.

I think this is important to complement the example of page 501/502.

david-a-wheeler commented 4 years ago

@digama0 - hopefully it's all resolved now. Let me know of any additional comments!