{-# OPTIONS --cubical-compatible #-}
module Padova2025.ProvingBasics.Connectives where

Logical connectives

import Padova2025.ProvingBasics.Connectives.Disjunction
import Padova2025.ProvingBasics.Connectives.Existential
import Padova2025.ProvingBasics.Connectives.Conjunction
import Padova2025.ProvingBasics.Connectives.More