qbar the rational proof assistant

Aquesta comunitat es va crear fa 3 anys i té 2 membres.

Sou col·laborador de la comunitat qbar? Uniu-vos-hi en Liberapay!
Aviat podreu fer difusió dels vostres projectes de la comunitat aquí i publicar actualitzacions d'estat sobre la vostra feina.

Membres nous

Avatar

qbar

The QBAR Project

Mecenes
0
Ingressos
0,00 USD
setmanalment
Avatar

bhgomes

Mecenes
0
Ingressos
0,00 USD
setmanalment
Els butlletins us ajudaran a mantenir-vos informat sobre què està passant i quins projectes necessiten suport. Encara no funcionen, però us hi podeu subscriure.

0 subscriptors