Skip to content

feat: Resolve "Classical logic" (#78)

jeanas requested to merge jeanas/proost:classical into main

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

Merge request reports