Minor updates and fixes in README

digama0 / mm0

Metamath Zero specification language

Creative Commons Zero v1.0 Universal

312 stars 40 forks source link

Minor updates and fixes in README #107

Closed joliss closed 2 years ago

joliss commented 2 years ago

I'm completely new to this project, but my understanding is that mm0-rs is now preferred over mm0-hs, so I tried to update the README accordingly.

digama0 commented 2 years ago

thanks!