search

digama0 / mmj2

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

Tutorial fixes #17

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

I fixed the typo noted earlier, on->one.