qbar the rational proof assistant
Questa comunità è stata creata 3 anni 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
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.