4 search results for "author:"Lasse Blaauwbroek <lasse@blaauwbroek.eu""

Showing 1 - 4
  1. 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
  2. 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
  3. 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
  4. 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