search

coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Other
66 stars 17 forks source link

repo name adjustments in metadata #46

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

Followup to discussion in #45.

proux01 commented 3 years ago

Thanks, that's definitely more convenient.