search

coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45 stars 7 forks source link

Port to Mathcomp2+HB #22

Open clayrat opened 2 months ago