kframework/k — pull request #801 by bmmoore (2014-08-06 22:27:17+00:00)
Title: Coq backend

Java side of the Coq backend. A statically linked binary is further ahead on bmmoore/k@cbdb4f79fdbc