Quick Post via Twitter: A bit of a brain melter: usage of #CoqProofAssistant Usage in #Infosec seems inevitable #qp @fngeekery Adam Chlipal… https://t.co/ljCR64kkh5