a collection of rulesets for qbar and other automated proof frameworks
Creative Commons Zero v1.0 UniversalCC0-1.0