qbar the rational proof assistant

This community was created 10 months ago and has 2 members.

Are you a contributor in the qbar community? Then join it on Liberapay!
Soon you'll be able to advertise your community projects here and post status updates about your work.

New Members

Avatar

qbar

The QBAR Project

Patrons
0
Income
$0.00
per week
Avatar

bhgomes

Patrons
0
Income
$0.00
per week
Community newsletters will help you stay informed about what's going on and which projects need support. They're not operational yet but you can already subscribe.

0 subscribers