GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: clayrat
fav-ssr
in
coq-community/awesome-coq
Functional Algorithms Verified in SSReflect
created at Oct. 29, 2021, 5:07 p.m.
Coq
8
+0
36
+0
6
+0
GitHub
Sort: Most stars
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
1
Coq
1