MoreCoq: override_shadow
MoreCoq: combine_split
MoreCoq: bool_fn_applied_thrice
MoreCoq: override_same
MoreCoq: beq_nat_sym
MoreCoq: beq_nat_trans
MoreCoq: split_combine_statement
MoreCoq: override_permute
MoreCoq: filter_exercise
MoreCoq: forall_exists_challenge
Prop: b_timesm
Prop: gorgeous_plus13
Prop: gorgeous_sum
Prop: beautiful__gorgeous
Prop: g_times2
Prop: double_even
Prop: ev_sum
Prop: inversion_practice
Prop: ev_ev__ev