Learn More
Some standard specification language lays at the intersection between researchers developing theorem provers and those interested in using such tools. For the case of propositional theorem proving,(More)