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 classical logic (k0) #230

Closed daviddoret closed 10 months ago

daviddoret commented 1 year ago

reference: Mancosu, Galvan, and Zach, 2021, An Introduction to Proof Theory, § 2.4.3.