module Padova2025.ProvingBasics where

Agda as a proof language

import Padova2025.ProvingBasics.PropositionsAsTypes
import Padova2025.ProvingBasics.EvenOdd
import Padova2025.ProvingBasics.Negation
import Padova2025.ProvingBasics.Equality
import Padova2025.ProvingBasics.Connectives
import Padova2025.ProvingBasics.Termination