5 search results for "author:"Lasse Blaauwbroek""

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

    No documentation

    Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
    keyword:tactic-learning keyword:machine-learning keyword:automation keyword:proof-synthesis category:Miscellaneous/Coq Extensions logpath:Tactician
    Lasse Blaauwbroek <lasse@blaauwbroek.eu>
    1.0~beta2.1+8.19
    MIT
    Used by 1 other packages
    18 Jul 2024
  3. coq-tactician-api

    No documentation

    An API exposing Coq's web of formal knowledge to external agents
    Lasse Blaauwbroek <lasse@blaauwbroek.eu>
    15.0+8.11
    MIT
    Used by 2 other packages
    11 Jan 2024
  4. coq-tactician-dummy

    No documentation

    A dummy implementation of Tactician
    keyword:tactic-learning keyword:machine-learning keyword:automation keyword:proof-synthesis category:Miscellaneous/Coq Extensions logpath:Tactician
    Lasse Blaauwbroek <lasse@blaauwbroek.eu>
    1.0~beta2+8.17
    MIT
    Used by 1 other packages
    19 Oct 2023
  5. coq-tactician-stdlib

    No documentation

    Recompiles Coq's standard libary with Tactician's instrumentation loaded
    keyword:tactic-learning keyword:machine-learning keyword:automation keyword:proof-synthesis category:Miscellaneous/Coq Extensions logpath:Tactician
    Lasse Blaauwbroek <lasse@blaauwbroek.eu
    1.0~beta2+8.16
    MIT
    Used by 0 other packages
    19 Oct 2023