7 lines
293 B
Markdown
7 lines
293 B
Markdown
|
## 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
|