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

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

Advertisements