Skip to content

Resolve "Classical logic"

loutr requested to merge 78-classical-logic into main

Closes #78 (closed)

Add a classical.mdln file with three characterizations of excluded middle.

(Redux of !67 (closed) to fix CI.)

Edited by loutr

Merge request reports