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