Hacker News new | ask | show | jobs
by fuklief 2528 days ago
CompCert ?
1 comments
gmueckl 2528 days ago
Okay, it recently did get quite high formal certifications.
link