After Coq in 2013, CompCert receives the 2021 ACM Software System Award. Congrats to everybody involved!
7 Likes
CompCert getting the ACM software system award is definitely great. Congratulations.
2 Likes