qbar the rational proof assistant

Это сообщество было создано 10 месяцев назад и насчитывает 2 участника.

Вы вносите вклад в сообщество qbar? Тогда присоединитесь к нему на Liberapay!
После этого вы сможете рекламировать проекты вашего сообщества и публиковать обновления о состоянии вашей работы.

Новые участники

Аватар

qbar

The QBAR Project

Спонсоры
0
Доход
0,00 $
в неделю
Аватар

bhgomes

Спонсоры
0
Доход
0,00 $
в неделю
Информационные бюллетени сообщества помогут вам быть в курсе того, что происходит, и какие проекты требуют поддержки. Бюллетени ещё не функционируют, но вы уже можете на них подписываться.

0 подписчиков