provide the capability to forbid the inclusion of new axioms / definitions in a theory - 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

provide the capability to forbid the inclusion of new axioms / definitions in a theory #233

Closed daviddoret closed 10 months ago