pierrbt f92f2fde6c Adding Coq hello world program (#1423) ...

* Create Coq.v

* Update readme.md

* Removed useless things

* Update c/Coq.v

Co-authored-by: Gabe <66077254+MrBrain295@users.noreply.github.com>

2022-10-30 19:09:26 -05:00

313 B

Raw Blame History

View Raw