I've been meaning to get around to looking into it, but there's so much else I want to explore first. Cool stuff though, especially Coq. There looks like some good resources on learning it...
I've been meaning to get around to looking into it, but there's so much else I want to explore first. Cool stuff though, especially Coq. There looks like some good resources on learning it [here].(https://softwarefoundations.cis.upenn.edu/)
I did a course in uni on Coq, and really enjoyed it, although it was pretty challenging. I'm now in industry though and it isn't seen as much, so I'm trying to keep myself abreast of it and start...
I did a course in uni on Coq, and really enjoyed it, although it was pretty challenging. I'm now in industry though and it isn't seen as much, so I'm trying to keep myself abreast of it and start contributing to formal-verification work that is being done.
Thanks for the provided link, I haven't seen it before!
I've been meaning to get around to looking into it, but there's so much else I want to explore first. Cool stuff though, especially Coq. There looks like some good resources on learning it [here].(https://softwarefoundations.cis.upenn.edu/)
I did a course in uni on Coq, and really enjoyed it, although it was pretty challenging. I'm now in industry though and it isn't seen as much, so I'm trying to keep myself abreast of it and start contributing to formal-verification work that is being done.
Thanks for the provided link, I haven't seen it before!