search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
160 stars 43 forks source link

[coq] use ListNotations explicitly #85

Closed llelf closed 4 years ago

llelf commented 4 years ago

overlay for coq/coq#11992 it's backward-compatible, can be merged now.

llelf commented 4 years ago

ping