qbar the rational proof assistant

Komunitas ini dibuat 2 tahun yang lalu dan memiliki 2anggota.

Apakah Anda seorang kontributor di komunitas qbar? Bergabunglah di Liberapay!
Anda akan segera dapat mengiklankan proyek komunitas Anda di sini dan memposting pembaruan status tentang karya Anda.

Anggota baru

Avatar

qbar

The QBAR Project

Sponsor
0
Pendapatan
US$0,00
per minggu
Avatar

bhgomes

Sponsor
0
Pendapatan
US$0,00
per minggu
Buletin komunitas akan membantu Anda untuk tetap mendapatkan informasi tentang apa yang terjadi dan proyek mana yang membutuhkan dukungan. Mereka belum beroperasi, tetapi Anda sudah dapat berlangganan.

0 pelanggan