search

digama0 / mm0

Metamath Zero specification language
Creative Commons Zero v1.0 Universal
312 stars 40 forks source link

fix typo #123

Closed chabulhwi closed 1 year ago

chabulhwi commented 1 year ago

Correct the spelling of "command."

digama0 commented 1 year ago

Thanks!