qbar the rational proof assistant

Această comunitate a fost creată acum 1 an și are 2 membri.

Sunteți un contribuitor în comunitatea qbar? Atunci altăturați-vă ei pe Liberapay!
În curând veți fi capabili să anunțați proiectele comunității dumneavoastră aici și să publicați actualizări de stare despre munca dumneavoastră.

Membri noi

Avatar

qbar

The QBAR Project

Susținători
0
Venit
0,00 USD
pe săptămână
Avatar

bhgomes

Susținători
0
Venit
0,00 USD
pe săptămână
Buletinele de știri ale comunității vă vor ajuta să rămâneți informați despre ce se întâmplă și care proiecte necesită susținere. Încă nu sunt operaționale dar vă puteți înscrie de pe acum.

0 abonați