coq-of-go Translation from Go to Coq Still in the experimental phase 🧪. go run main.go go/constant >coq_translation/go/constant.v go run main.go ./hello_world >coq_translation/hello_world.v