Benjamin Lipp @blipp@chaos.social je proslijedio/a tweet korisnika/ceVerifpal
My colleague and friend @kaepora produced an amazing introductory video for his new cryptographic protocol analysis tool @verifpal. Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!https://twitter.com/verifpal/status/1223278934101516289 …
Benjamin Lipp @blipp@chaos.social je dodan/na,
09:00 - 31. sij 2020.
0 replies
2 proslijeđena tweeta
7 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.


, he/him.