qbar the rational proof assistant
Esta comunidad fue creada hace 3 años y tiene 2 miembros.
¿Eres un colaborador de la comunidad qbar? ¡Únete a ella en Liberapay!
Pronto podrás difundir tus proyectos comunitarios aquí y publicar actualizaciones de estado acerca de tu trabajo.
Nuevos miembros
Los boletines de la comunidad te ayudarán a mantenerte informado acerca de lo que está pasando y qué proyectos necesitan apoyo. No están aún en funcionamiento, pero puedes suscribirte ya.