Classical logic
I propose to add an stdlib file for basic classical reasoning.
This does NOT mean assuming excluded middle, of course, but rather defining what it is, and proving some characterizations.
I propose to add an stdlib file for basic classical reasoning.
This does NOT mean assuming excluded middle, of course, but rather defining what it is, and proving some characterizations.
mentioned in merge request !67 (closed)
78-classical-logic to address this issue created branch 78-classical-logic to address this issue
mentioned in merge request !87 (merged)
closed with merge request !87 (merged)