proveit.numbers.numerals.decimals.tuple_len_1
proveit.numbers.numerals.decimals.add_1_1
proveit.numbers.numerals.decimals.nat1