search

digama0 / mm0

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

mmb doc fix #90

Closed ammkrn closed 3 years ago

ammkrn commented 3 years ago

Typo? mm0b_parser still shows it as a U32