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

Showing 1 - 1
  1. coq-hammer-tactics

    No documentation

    Reconstruction tactics for the hammer for Coq
    keyword:automation keyword:hammer keyword:tactics logpath:Hammer.Tactics date:2026-07-07
    Lukasz Czajka <lukaszcz@mimuw.edu.pl>
    1.3.3+9.2
    LGPL-2.1-only
    Used by 1 other packages
    09 Jul 2026