issues
search
tirix
/
rumm
A tactics-based Metamath proof language
5
stars
3
forks
source link
Substitution variables and substitution parameter
#6
Closed
tirix
closed
1 year ago