Result about Coqgym
Closed this issue · 1 comments
liuxingpeng520521 commented
Do you still have the result about Coqgym on ComPcert? I want to do some analyses about it, especially the time and number of searches.
HazardousPeach commented
This isn't an issue related to this code, but rather to some experiments outside the code we did for later comparisons, so I'm going to close it for now. Please send an email to me or Emily First about the CoqGym results and we can look at getting those.