documentation update #195 - Githubissues

daviddoret / punctilious

A human-friendly and developer-friendly math proof assistant

https://github.com/daviddoret/punctilious

MIT License

2 stars 0 forks source link

documentation update #195 #215

Closed daviddoret closed 1 year ago

daviddoret commented 1 year ago

docs update #195
improvement of docs local build scripts
improvement of dependent package versioning for docs build