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