qbar the rational proof assistant

Dette fælleskab blev oprettet for 2 å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

Denne side indeholder maskinoversat tekst, som endnu ikke er blevet gennemgået og derfor kan være ukorrekt. Du kan bidrage med.