search

digama0 / mm0

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

Remove unused either dependency #104

Closed bjorn3 closed 2 years ago

digama0 commented 2 years ago

Thanks!