search

coq-community / coqeal

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

Porting to HB #57

Closed proux01 closed 1 year ago

proux01 commented 2 years ago

Just to remember we have that branch.