qbar the rational proof assistant

Gemenskapen ble opprettet for 10 måneder siden, og har 2 medlemmer.

Er du en bidragsyter i qbar-gemenskapen? Ta del i det på Liberapay!
Snart vil du kunne reklamere for dine gemenskapsprosjekter her og skrive statusoppdateringer om ditt arbeide.

Nye medlemmer

Avatar

qbar

The QBAR Project

Kronerullere
0
Inntekt
USD 0,00
per uke
Avatar

bhgomes

Kronerullere
0
Inntekt
USD 0,00
per uke
Gemenskapsnyhetsbrev informerer deg om hva som skjer og hvilke prosjekter som trenger støtte. Støtten er ikke operativ enda, men du kan allerede abonnere.

0 abonnenter