## References
- [Coq in a hurry](https://cel.hal.science/inria-00001173v6/document)
- [Coq documentation](https://rocq-prover.org/docs)
- [Coq Cheatsheet](https://github.com/alhassy/CoqCheatSheet)
- [Logical Foundations](https://softwarefoundations.cis.upenn.edu/current/index.html)
## Random
