Need help with awesome-coq?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

uhub
213 Stars 15 Forks 94 Commits 2 Opened issues

Description

A curated list of awesome Coq frameworks, libraries and software.

Services available

!
?

Need anything else?

Contributors list

# 28,575
Go
stun
webrtc
nat-tra...
40 commits
# 44,527
Rust
unix
play-fr...
actix
2 commits
# 405,905
OCaml
Android
Haskell
lwt
1 commit
# 174,261
Haskell
elm
Shell
1 commit
# 285,048
HTML
Shell
Scala
edx
1 commit

awesome-coq

A curated list of awesome Coq frameworks, libraries and software.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.