qbar the rational proof assistant

Dette fælleskab blev oprettet for 3 år siden og har 2 medlemmer.

Er du en bidragyder i qbar fællesskabet? Så tilslut dig det på Liberapay!
Snart vil du kunne bekendtgøre dine projekter her og sende statusopdateringer om dit arbejde.

Nye Medlemmer

Avatar

qbar

The QBAR Project

Bidragsydere
0
Indkomst
0,00 US$
per uge
Avatar

bhgomes

Bidragsydere
0
Indkomst
0,00 US$
per uge
Fællesskabs nyhedsbreve vil hjælpe dig med at holde dig orienteret om hvad der sker, og hvilke projekter har brug for støtte. De virker ikke endnu, men du kan allerede abonnere.

0 abonnenter