I’ve just learned of https://eutypes.cs.ru.nl/Meetings/TMSP17 - Trends in Mechanized Security Proofs, September 3rd in Oxford
7:41 AM - 29 May 2017
0 replies
3 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.