[Verifpal] Discord Channel

Nadim Kobeissi nadim at symbolic.software
Tue Apr 7 17:07:53 CEST 2020


Hello everyone,

We've set up a Discord channel for Verifpal discussions that would be too informal for the mailing list. This should allow faster, more informal discussions and questions.

Come join: https://discord.gg/DFK2Gqk

Nadim Kobeissi
Symbolic Software • https://symbolic.software



More information about the Verifpal mailing list