[Verifpal] Congratulations on the 0.2 release!

[Michiel Leenaars]

Hello all,

Nadim has made the first public release of VerifPal today. sooner than 
expected. Brilliant work without a shadow of a doubt, and very 
user-friendly indeed!

I am very curious what people will do with this now it is out there. It 
has a low barrier to entry, which makes it a technology commons that can 
make symbolic formal verification far more widely accessible than has so 
far been the case - contributing to a safer and more secure internet for 
all. Looking very much forward to future work, building on top of VerifPal.

Best,
Michiel Leenaars
NLnet Foundation

P.S. If you have a great idea like this, you might consider asking a 
grant from the Next Generation Internet initiative too via 
https://nlnet.nl/PET