Open MegaKeegMan opened 1 month ago
D7 example: https://stsinfrastructures.org/design-logic/juxtapositional-logics
D7 example: https://stsinfrastructures.org/design-logic/juxtapositional-logics