leachim6 / hello-world

Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!

http://github.com/leachim6/hello-world/wikis

Coq seems to be missing

lquenti opened this issue 2 years ago · comments

Lars Quentin commented 2 years ago

Coq is the most used theorem prover. I haven't found it in the repo.

I'd love to do a PR myself, but I haven't had the time to learn it yet and don't just wanna steal code. So up for grabs to anyone who wants!

Pierre Bidet commented 2 years ago

You might use this hello world program

Pierre Bidet commented 2 years ago

I created a PR

Mike Donaghy commented a year ago

Was merged in #1423 -- Closing
Thanks for your contribution @pierrbt !