Contribution: Karatsuba

Library Karatsuba.common.Coercions

Require Import Bool.

Coercion Is_true : bool >-> Sortclass.