qbar the rational proof assistant
Gemenskapen ble opprettet for 3 år 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
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.