The following project is a collection of proof systems, type theories, logics, and the like, in the language of rulesets
designed for the qbar
proof framework.
bhgomes / rulesets Goto Github PK
View Code? Open in Web Editor NEWa collection of rulesets for qbar and other automated proof frameworks
Home Page: https://bhgomes.github.io/rulesets
License: Creative Commons Zero v1.0 Universal