[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