Skip to content

feat: Resolve "Classical logic" (#78)

jeanasrequested to merge
jeanas/proost:classical into main

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

Merge request reports