issues
search
daviddoret
/
punctilious
A human-friendly and developer-friendly math proof assistant
https://github.com/daviddoret/punctilious
MIT License
2
stars
0
forks
source link
#201 + #195
#207
Closed
daviddoret
closed
1 year ago