GitHub repository: stanislaw/berlin-software-verification-meetup
Primary language: Coq
Created: 2020-02-16T13:34:15Z
Description: Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).