1 search result for "author:"Yannick Forster <forster@cs.uni-saarland.de>""

Showing 1 - 1
  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