search

coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

Remove "x : T" notation #28

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

In preparation of https://github.com/coq/coq/pull/18014