After Coq in 2013, CompCert receives the 2021 ACM Software System Award. Congrats to everybody involved!
3 Likes
After Coq in 2013, CompCert receives the 2021 ACM Software System Award. Congrats to everybody involved!