GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ coq-proof-assistant
Top 1 coq-proof-assistant open source projects
qcert
Compilation and Verification of Data-Centric Languages
✭ 50
Coq
java
ocaml
javascript
Makefile
typescript
sql
compiler
functional-programming
verification
query-engine
query-language
verified-compiler
coq-proof-assistant
1-1
of
1
coq-proof-assistant projects
