Epigram
TODO List:
- Claims that “However, you don’t have to go as far, you can write ordinary programs and refactor them into more trustworthy, formally checked deliverables – Epigram supports a pay as you go approach to formal methods.”, which would be something its successors don’t do. Find examples of this?
