Comment on Leanstral 1.5: Proof abundance for allparentComments−Eridrus2moI would be much more interested in "here is a provably memory safe version of openssl with all its memory safety bugs fixed"
Comments
I would be much more interested in "here is a provably memory safe version of openssl with all its memory safety bugs fixed"