2 search results for "author:"Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de>""

Showing 1 - 2
  1. coq-smpl

    No documentation

    Smpl: An Extensible Tactic for Coq
    Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de> Yannick Forster <forster@cs.uni-saarland.de> Fabian Kunze <fabian.kunze@cs.uni-saarland.de> Kenji Maillard <kenji.maillard@inria.fr>
    8.20
    MIT
    Used by 1 other packages
    20 Oct 2024
  2. rocq-smpl

    No documentation

    Smpl: An Extensible Tactic for Coq
    Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de> Yannick Forster <forster@cs.uni-saarland.de> Fabian Kunze <fabian.kunze@cs.uni-saarland.de> Kenji Maillard <kenji.maillard@inria.fr>
    9.0
    MIT
    Used by 0 other packages
    05 Sep 2025