All Questions
1 question
4
votes
2
answers
3k
views
Which language has most advanced support for proof based programming? [closed]
By proof based programming, I mean, you can somehow prove the correctness of your program without testing.
I heard that Ada has a feature called contract, I also heard that, if you can pass Haskell's ...
- 149