New answers tagged mathematics
2
votes
Accepted
Proving factors of GCD in Dafny
I am not surprised that there are not many Dafny users here (we seem to hangout on SO...) but I hoped that folks who are familiar with proving mathematical arguments in code here might ideas about how ...
- 181
Top 50 recent answers are included