Comment on PeaCoq, a UI for CoqparentComments−chriswarbo11yOf course I meant 8.5, not 1.5!−Ptival11yThanks, this is very interesting and I'd love to switch to 8.5.I might wait a little for my benchmarks to be 8.5 ready though!
Comments
Of course I meant 8.5, not 1.5!
Thanks, this is very interesting and I'd love to switch to 8.5.
I might wait a little for my benchmarks to be 8.5 ready though!