qbar the rational proof assistant

Цю спільноту було створено 10 місяців тому, до неї долучилося 2 учасники.

Ви робите внесок в спільноту qbar? Тоді приєднайтеся до неї на Liberapay!
Після цього ви зможете рекламувати проєкти вашій спільноті та публікувати оновлення про стан вашої роботи.

Нові учасники

Аватар

qbar

The QBAR Project

Спонсори
0
Надходження
0,00 USD
на тиждень
Аватар

bhgomes

Спонсори
0
Надходження
0,00 USD
на тиждень
Інформаційні бюлетені спільноти допоможуть вам бути в курсі того, що відбувається, та які проєкти потребують підтримки. Бюлетені ще не функціонують, але ви вже можете підписуватися на них.

0 підписників