Closed dogsleg closed 9 years ago
Hi guys,
interesing work, thanks!
Also, don't know which version of Coq you use, I had to recompile Modal.v to run your proof in Coq 8.4pl4.
Cheers!
Thank you!! Yes, I was using a slightly older version of Coq. But I will update.
Hi guys,
interesing work, thanks!
Also, don't know which version of Coq you use, I had to recompile Modal.v to run your proof in Coq 8.4pl4.
Cheers!