1 search result for "author:"Mirek Olsak""
Showing 1 - 1
-
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