qbar the rational proof assistant

Komuniti ini dicipta 10 bulan lalu dan mempunyai 2 ahli.

Adakah anda penyumbang dalam komuniti qbar? Maka sertai ia di Liberapay!
Tidak lama lagi anda boleh mengiklankan projek komuniti anda di sini dan mengemaskinikan status perkembangan anda.

Ahli Baru

Avatar

qbar

The QBAR Project

Pelanggan
0
Pendapatan
USD0.00
setiap minggu
Avatar

bhgomes

Pelanggan
0
Pendapatan
USD0.00
setiap minggu
Surat berita komuniti membolehkan anda mendapat perkembangan terbaru dan ketahui projek mana perlukan sokongan. Ia masih belum beroperasi lagi tetapi anda sudah boleh melanggan.

0 pelanggan