Add a specification for the Rumm language and a README. - Githubissues

tirix / rumm

A tactics-based Metamath proof language

4 stars 3 forks source link

Add a specification for the Rumm language and a README. #4

Closed tirix closed 1 year ago