Members · sovereign / why3-avr · GitLab

Project members

Members can be added by project Maintainers or Owners

Members of why3-avr 6

Dan Frumin 💬 @dfrumin

· sovereign
Given access Nov 25, 2016

Maintainer
Freek Verbeek @freekver

· sovereign
Given access Nov 25, 2016

Maintainer
Herman Geuvers @herman

· sovereign
Given access Nov 25, 2016

Developer
Marc Schoolderman @m.schoolderman

· sovereign
Given access Nov 25, 2016

Owner
Marko van Eekelen @marko

· sovereign
Given access Nov 25, 2016

Developer
Sjaak Smetsers @sjakie

· sovereign
Given access Nov 25, 2016

Developer