4 search results for "tag:"keyword:tactics""

Showing 1 - 4
  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
  2. coq-sflib

    No documentation

    A collection of useful Rocq lemmas and tactics
    date:2026-02-20 category:Computer Science/Programming Languages/Formal Definitions and Theory keyword:tactics keyword:lemmas keyword:proof automation logpath:sflib
    Jeehoon Kang <jeehoon.kang@kaist.ac.kr> Minki Cho <minki.cho@sf.snu.ac.kr> Jaehyung Lee <jaehyung.lee@sf.snu.ac.kr> Yeji Han <yeji.han@sf.snu.ac.kr> Gil Hur <gil.hur@sf.snu.ac.kr>
    2.1.0
    BSD-2-Clause
    Used by 0 other packages
    20 Feb 2026
  3. 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
  4. rocq-spivak

    No documentation

    Spivak calculus, textbook exercises, real analysis, and checked tactics
    keyword:calculus keyword:tactics category:Mathematics/Real Calculus and Topology logpath:Lib logpath:Calculus logpath:ATTAM logpath:Backprop date:2026-10-03
    Sterling Jeppson
    0.1.2
    MIT
    Used by 0 other packages
    20 Oct 2026