1 search result for "tag:"logpath:Stalmarck.Tactic""

Showing 1 - 1

coq-stalmarck-tactic

No documentation

Coq tactic and verified tool for proving tautologies using Stålmarck's algorithm

category:Miscellaneous/Coq Extensions category:Miscellaneous/Extracted Programs/Decision procedures keyword:boolean formula keyword:tautology checker keyword:tactics logpath:Stalmarck.Tactic date:2024-06-30

Pierre Letouzey Laurent Théry

8.20.0

LGPL-2.1-or-later

Used by 0 other packages

06 Sep 2024