qbar the rational proof assistant

Bu topluluk 10 ay önce oluşturuldu ve 2 üyesi var.

qbar topluluğuna katkıda bulunan biri misiniz? O halde Liberapay'de ona katılın!
Yakında burada topluluk projelerinizin reklamını yapabilecek ve çalışmalarınızla ilgili durum güncellemeleri gönderebileceksiniz.

Yeni Üyeler

Avatar

qbar

The QBAR Project

Sponsorlar
0
Gelir
$0,00
her hafta
Avatar

bhgomes

Sponsorlar
0
Gelir
$0,00
her hafta
Topluluk bültenleri neler olup bittiği ve hangi projelerin desteğe ihtiyacı olduğu konusunda bilgi sahibi olmanıza yardımcı olacaktır. Henüz çalışır durumda değiller ama şimdiden abone olabilirsiniz.

0 abone