search

coq-community / fav-ssr

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

coq-algs #17

Open clayrat opened 9 months ago

clayrat commented 9 months ago

https://github.com/wkolowski/coq-algs