qbar the rational proof assistant
Společenství bylo vytvořeno před 3 lety 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é
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.