qbar the rational proof assistant

Komunita bola vytvorená pred pred 1 rokom a má 2 členov.

Prispievate do komunity qbar? Pripojte sa k nemu na Liberapay!
Už čoskoro budete môcť inzerovať svoje projekty v komunite a posielať informácie o ich pokroku.

Nový členovia

Avatar

qbar

The QBAR Project

Patróni
0
Príjem
0,00 USD
týždenne
Avatar

bhgomes

Patróni
0
Príjem
0,00 USD
týždenne
Spravodajstvo komunity Vám pomôže získať informácie o tom, čo sa deje, a o projektoch, ktoré potrebujú Vašu podporu. Spravodajstvo ešte nie je funkčné, ale už sa môžete prihlásiť.

0 odberatelia