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

Bove–Capretta method

import Padova2025.ProvingBasics.Termination.BoveCapretta.Intricate0
import Padova2025.ProvingBasics.Termination.BoveCapretta.Fun91
import Padova2025.ProvingBasics.Termination.BoveCapretta.Digits