Add Coq 8.20, use python-is-python3 · mit-plv/fiat@ee9653b

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".

Use of “Require” inside a module is fragile. It is not recommended

Use of “Require” inside a module is fragile. It is not recommended

Use of “Require” inside a module is fragile. It is not recommended

Use of “Require” inside a module is fragile. It is not recommended

Using Vector.t is known to be technically difficult, see

Coq.Lists.List has been replaced by Stdlib.Lists.List.

Coq.Relations.Relation_Definitions has been replaced by

Provide feedback