I see a lot of mention if “dafny” here, is this a language that’s getting traction? I’m surprised there’s not any examples on their website of real companies using it for real problems.
This looks very interesting area.
I see a lot of mention if “dafny” here, is this a language that’s getting traction? I’m surprised there’s not any examples on their website of real companies using it for real problems.
This looks very interesting area.