5 search results for "author:"Lasse Blaauwbroek""
Showing 1 - 5
-
coq-graph2tac
No documentation
Graph neural network that predicts tactics for Tactician1.0.anonhttps://zenodo.org/records/10410474/files/LICENSE.mdUsed by 0 other packages11 Jan 2024 -
coq-tactician
No documentation
Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq1.0~beta2.1+8.19MITUsed by 1 other packages18 Jul 2024 -
coq-tactician-api
No documentation
An API exposing Coq's web of formal knowledge to external agents15.0+8.11MITUsed by 2 other packages11 Jan 2024 -
coq-tactician-dummy
No documentation
A dummy implementation of Tactician1.0~beta2+8.17MITUsed by 1 other packages19 Oct 2023 -
coq-tactician-stdlib
No documentation
Recompiles Coq's standard libary with Tactician's instrumentation loaded1.0~beta2+8.16MITUsed by 0 other packages19 Oct 2023