1 search result for "tag:"logpath:Hammer.Plugin""

Showing 1 - 1
  1. coq-hammer

    No documentation

    General-purpose automated reasoning hammer tool for Coq
    category:Miscellaneous/Coq Extensions keyword:automation keyword:hammer logpath:Hammer.Plugin date:2024-11-15
    Lukasz Czajka <lukaszcz@mimuw.edu.pl> Cezary Kaliszyk <cezary.kaliszyk@uibk.ac.at>
    1.3.2+8.20
    LGPL-2.1-only
    Used by 1 other packages
    15 Nov 2024