qbar the rational proof assistant

Questa comunità è stata creata 10 mesi fa e ha 2 membri.

Sei un/una collaboratore/trice nella comunità qbar? Poi unirti ad essa su Liberapay!
Presto sarai in grado di promuovere i tuoi progetti per la comunità qui e pubblicare aggiornamenti sullo stato del tuo lavoro.

Nuovi membri

Avatar

qbar

The QBAR Project

Donatori
0
Guadagni
0,00 USD
a settimana
Avatar

bhgomes

Donatori
0
Guadagni
0,00 USD
a settimana
Le newsletter delle comunità ti aiuteranno a rimanere informato/a su ciò che sta succedendo e quali progetti hanno bisogno di sostegno. Al momento non sono ancora operative, ma puoi già iscriverti.

0 abbonati