search

tirix / rumm

A tactics-based Metamath proof language
5 stars 3 forks source link

Preparations for better error case reporting #5

Closed tirix closed 1 year ago

tirix commented 1 year ago

And move tactics to set.rmm at the top level of the repository.