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

Bove–Capretta 方法#

import Padova2025-zh-TW.ProvingBasics.Termination.BoveCapretta.Intricate0
import Padova2025-zh-TW.ProvingBasics.Termination.BoveCapretta.Fun91
import Padova2025-zh-TW.ProvingBasics.Termination.BoveCapretta.Digits