qbar the rational proof assistant
Komuniti ini dicipta 3 tahun 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
Surat berita komuniti membolehkan anda mendapat perkembangan terbaru dan ketahui projek mana perlukan sokongan. Ia masih belum beroperasi lagi tetapi anda sudah boleh melanggan.