Hacker News new | ask | show | jobs
by crocal 1567 days ago
FYI, this has been done: https://compcert.org/