qbar the rational proof assistant
Deze gemeenschap is 3 jaar 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
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.