```
{-# 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
```