Adapt w.r.t. coq/coq#17955. · mit-plv/fiat@e1d2894

There is no flag or option with this name: "Template Check".

There is no flag or option with this name:

There is no flag or option with this name: "Apply With Renaming".

A coercion will be introduced instead of an instance in future

Declaring a scope implicitly is deprecated; use in advance an

A coercion will be introduced instead of an instance in future

Notation beq_nat is deprecated since 8.16. Use Nat.eqb instead.

Notation beq_nat_true_iff is deprecated since 8.16.

Notation beq_nat_true_iff is deprecated since 8.16.

Declaring a scope implicitly is deprecated; use in advance an

Provide feedback