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'd also be interested in such an overview. A couple interesting techs I know of though are coq and tla+
Follow
@sporksmith Some of the guys on the project are currently using coq but I don't have any experience with it. If I find anything I'll let you know.
