qbar the rational proof assistant

Tiu ĉi komunumo estis kreita antaŭ 3 monatoj kaj havas 2 membrojn.

Ĉu vi estas kontribuanto en la komunumo qbar? Do aliĝu al ĝi en Liberapay!
Baldaŭ vi povos reklami viajn projektojn tie kun la resto de la komunumo, kaj diskonigi novaĵojn pri via laboro.

Novaj membroj

Profilbildo

qbar

The QBAR Project

Donacantoj
0
Enspezo
US$ 0,00
semajne
Profilbildo

bhgomes

Donacantoj
0
Enspezo
US$ 0,00
semajne
Komunumaj novaĵleteroj helpos vin resti informita pri tio, kio okazas, kaj pri kiuj projektoj bezonas subtenon. Ili ankoraŭ ne funkcias, sed vi povas jam registriĝi por ricevi ilin.

0 abonantoj