qbar the rational proof assistant

Deze gemeenschap is 10 maanden geleden opgericht en heeft 2 leden.

Bent u een bijdrager van de qbar gemeenschap? Meld u dan aan voor de gemeenschap op Liberapay!
Binnenkort kan u hier de projecten van uw gemeenschap promoten en updates plaatsen.

Nieuwe leden

Avatar

qbar

The QBAR Project

Donateurs
0
Inkomen
US$ 0,00
per week
Avatar

bhgomes

Donateurs
0
Inkomen
US$ 0,00
per week
De gemeenschapnieuwsbrief zal je op de hoogte houden van wat er gaande is en welke projecten steun nodig hebben. Momenteel zijn ze nog niet actief, maar je kan je wel alvast aanmelden.

0 abonnees