CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?
🇳🇱
@drewfer I've dealt with a good deal of proofs int he CS world for my own stuff. But I dont usually utilize surveys for proofs. Nothing that comes to mind anyway, sorry.
