Coq is an interactive theorem prover first released in 1989.
References
- Annoy tower algorithm proof: Tsoding Playing with Coq
Coq
This work is licensed under a Creative Commons Attribution 4.0 International License
Coq is an interactive theorem prover first released in 1989.
This work is licensed under a Creative Commons Attribution 4.0 International License