/stalmarck

Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1