qbar the rational proof assistant

Společenství bylo vytvořeno před 10 měsíci a má 2 členy.

Přispíváte do společenství qbar? Pak se k němu připojte na Liberapay!
Již brzy budete moci inzerovat své projekty ve společenství a posílat informace jejich pokroku.

Noví členové

Avatar

qbar

The QBAR Project

Patroni
0
Příjem
0,00 US$
týdně
Avatar

bhgomes

Patroni
0
Příjem
0,00 US$
týdně
Společenský zpravodaj vám pomůže získat informace o tom co se děje a o projekty, které potřebují vaši podporu. Zpravodaj ještě není funkční, ale již se můžete přihlásit.

0 odběratelů