Discover your Favorite Language
Awesome repositories
Rankings by Country
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
csclub-coq-course-spring-2021
coq-lecture-notes
ssreflect-london-tydd-meetup
fold-tutorial-talk
anton-trunov
ssreflect-mathcomp-talk-moscow-2019
csclub-spb-2019-coq-talk
anton-trunov.github.io
coq-haskell-talk-2018
coq-notations-diff
TIP
scilla-posts
Love Open Source and this site? Check out how you can help us