kmx.io/prism.js/tests/languages/coq

---

tests/languages/coq

---

Log

Author	Commit	Date	CI	Message
	2f7f7364	2021-10-05T21:15:33		Added more language tests (#3131)
	41e25d3c	2021-03-25T12:42:58		Added support for Coq (#2803)