issues
search
tirix
/
rumm
A tactics-based Metamath proof language
3
stars
2
forks
source link
Error reporting with `annotate_snippet`
#7
Closed
tirix
closed
1 year ago