search

tirix / rumm

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

Update #16

Closed GinoGiotto closed 4 months ago