Skip to content

Resolve "Classical logic" (#78)

jeanas requested to merge classical into main

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

Merge request reports