usr345
Results
2
comments of
usr345
> x / d + u32::from(x % d == 0) Incorrect. It should be: x / d + u32::from(x % d != 0)
@gares On page 119 no need to put "@" before Pack: `Definition nat_eqType : eqType := @Pack nat eqn. ` And before eq_op: `Check (@eq_op nat_eqType 3 4).`