search

digama0 / mm0

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

Fix typo in doc comment of `res` #126

Closed timotree3 closed 1 year ago