Karatsuba_Preliminaries

Karatsuba_Sum_Lemmas

Monoid_Sums

Estimation_Method

Time_Monad_Extended

Main_TM

Abstract_Representations

Abstract_Representations_2

Nat_LSBF

Karatsuba_Runtime_Lemmas

Nat_LSBF_TM

Int_LSBF

Karatsuba

Karatsuba_TM

Karatsuba_Code_Nat