Coq master 0.9.1#76

Merged

gares merged 12 commits intocoq-masterfrom

coq-master-0.9.1

Jun 3, 2020

Commits on May 20, 2020

Commits on May 22, 2020

fix: badly scoped pi
gares
committed

Commits on May 29, 2020

syntax HB.instance Definition := ...
gares
committed

Commits on Jun 1, 2020

Commits on Jun 2, 2020

Merge pull request #73 from math-comp/instance-def
gares
authored