search

coq-community / fav-ssr

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

Support Coq 8.20 #26

Closed ablearthy closed 2 weeks ago

ablearthy commented 1 month ago

Closes #25.