Hi John! This development looks very nice, and I'm enjoying learning from it. I'm not that good at using Coq, so I thought I'd start spelunking to see what I could glean.
In the meanwhile, I've fixed some warnings that I receive when building this project using Coq 8.6.
Hi John! This development looks very nice, and I'm enjoying learning from it. I'm not that good at using Coq, so I thought I'd start spelunking to see what I could glean.
In the meanwhile, I've fixed some warnings that I receive when building this project using Coq 8.6.