ConEng Wiki

"Proofs and semantics are the social content of consensus."