fact: Fixpoint even_test (n:nat) : bool := match n with | 0 => true | S p => odd_test p end with odd_test (n:nat) : bool := match n with | 0 => false | S p => even_test p end.
imports: Arith Vector List Extraction ZArith Compare_dec ZArith List