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?
bofa
@trayofbees QOTO doesnt silence any instance. But I can say that after seeing the way bofa is moderated that if any instance deserves a silence its bofa.
peccavi