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

elaborate minimal logic (M0) #226

Closed daviddoret closed 9 months ago

daviddoret commented 1 year ago

Reference: Mancosu et al. 2021, p. 19.