FRESH Hacker News
Home
Aletheia – deterministic COBOL verification for mainframe migrations
4 points by HectorBlai