qbar the rational proof assistant

Αυτή η κοινότητα δημιουργήθηκε πριν από 3 έτη και έχει 2 μέλη.

Είστε εθελοντής στην κοινότητα qbar; Τότε γίνετε μέλος στο Liberapay!
Σύντομα θα μπορείτε να διαφημίζετε τα έργα της κοινότητάς σας εδώ και να δημοσιεύετε ενημερώσεις για την κατάσταση σχετικά με το έργο σας.

Νέα Μέλη

Άβαταρ

qbar

The QBAR Project

Δωρητές
0
Εισόδημα
0,00 $
ανά εβδομάδα
Άβαταρ

bhgomes

Δωρητές
0
Εισόδημα
0,00 $
ανά εβδομάδα
Τα ενημερωτικά δελτία της κοινότητας θα σας βοηθήσουν να ενημερώνεστε για το τι συμβαίνει και ποια έργα χρειάζονται υποστήριξη. Δεν έχουν τεθεί ακόμη σε λειτουργία, αλλά μπορείτε να εγγραφείτε.

0 συνδρομητές