qbar the rational proof assistant

Komunitas ini dibuat 10 bulan yang lalu dan memiliki 2anggota.

Are you a contributor in the qbar community? Then join it on Liberapay!
Soon you'll be able to advertise your community projects here and post status updates about your work.

Anggota baru

Avatar

qbar

The QBAR Project

Patron-patron
0
Pemasukan
US$0,00
per minggu
Avatar

bhgomes

Patron-patron
0
Pemasukan
US$0,00
per minggu
Community newsletters will help you stay informed about what's going on and which projects need support. They're not operational yet but you can already subscribe.

0 pelanggan

Terjemahan halaman ini dalam bahasa Indonesia masih belum lengkap.