{-# OPTIONS --cubical-compatible #-}
module Padova2025.ProgrammingBasics.Naturals where

Natural numbers

import Padova2025.ProgrammingBasics.Naturals.Base
import Padova2025.ProgrammingBasics.Naturals.Arithmetic
import Padova2025.ProgrammingBasics.Naturals.DecisionProcedures