search

coq-community / fav-ssr

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

Use new set_nth lemmas? #5

Open clayrat opened 2 years ago

clayrat commented 2 years ago

https://github.com/math-comp/math-comp/pull/877, might be useful in selection/braun.