qbar the rational proof assistant
This community was created 2 years 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.
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.