Announcing Isabelle support for SAW
8 points by olliej
8 points by olliej
I wasn't sure if this should get a different post from https://lobste.rs/s/7crjja/blueprint_for_formal_verification_apple - my thinking is that it's worth pointing to one of the substantially smaller projects/companies that worked on the apple cryptographic library verification.
I read both, thanks for submitting. While Apple's post is interesting, I felt like this was not redundant because it described and justified the functionality in a more applicable way.