Needs a build instruction
I'm starting to look at the Coq code, but I don't know how to build it. Hai, would you please write down a build manual?
I'm starting to look at the Coq code, but I don't know how to build it. Hai, would you please write down a build manual?