News for hackers. Stuff that matters.
Re:CompCert – Formally-verified C compiler by zvr on Sunday June 27, 2021 @08:45AM (#27651149)
FYI: the directory contains 957 files; 798 of these files are NOT dual-licensed.

But of course it's not a "majority" decision, nor are all files equally important.

There are no comments on this comment yet.