qbar the rational proof assistant

Ta społeczność została stworzona 3 lata temu i ma 2 członków.

Czy wnosisz jakiś wkład w społeczność qbar? Jeśli tak, dołącz do niej na Liberapay!
Niedługo będziesz mieć możliwość ogłaszania tutaj projektów społeczności jak i dodawania informacji na temat Twojej pracy.

Nowi członkowie

Awatar

qbar

The QBAR Project

Patroni
0
Przychód
0,00 USD
tygodniowo
Awatar

bhgomes

Patroni
0
Przychód
0,00 USD
tygodniowo
Biuletyny pomagają śledzić co dzieje się w społeczności i które projekty wymagają wsparcia. Biuletyny jeszcze nie działają, ale już teraz możesz je subskrybować.

0 subskrybentów