- [ ] from https://github.com/mcamuzat/awesome-coq - [ ] from https://github.com/xgrommx/coq-ecosystem