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
Dev
#239
Closed
daviddoret
closed
1 year ago