qbar the rational proof assistant

Denna gemenskap skapades för 10 månader sedan och har 2 medlemmar.

Är du en bidragare i qbar gemenskapen? Anslut dig till den på Liberapay!
Snart kommer du kunna marknadsföra din gemenskapsprojekt här och skicka statusuppdateringar om ditt arbete.

Nya medlemmar

Avatar

qbar

The QBAR Project

Bidragsgivare
0
Inkomst
0,00 US$
per vecka
Avatar

bhgomes

Bidragsgivare
0
Inkomst
0,00 US$
per vecka
Gemenskaps nyhetsbrev kommer hålla dig informerad om vad som är på gång och vilka projekt som behöver stöd. De fungerar inte ännu, men du kan redan nu prenumerera.

0 prenumeranter