2 search results for "author:"Jelle Piepenbrock""

Showing 1 - 2
  1. coq-graph2tac

    No documentation

    1.0.anon
    https://zenodo.org/records/10410474/files/LICENSE.md
    Used by 0 other packages
    11 Jan 2024
  2. coq-text2tac

    No documentation

    Language model that predicts tactics for Tactician
    1.0
    https://zenodo.org/records/10410474/files/LICENSE.md
    Used by 0 other packages
    11 Jan 2024