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

Showing 1 - 2
  1. coq-graph2tac

    No documentation

    Graph neural network that predicts tactics for Tactician
    Jason Rute Mirek Olsak Lasse Blaauwbroek Fidel I. Schaposnik Massolo Jelle Piepenbrock et al.
    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
    Jelle Piepenbrock
    1.0
    https://zenodo.org/records/10410474/files/LICENSE.md
    Used by 0 other packages
    11 Jan 2024