LoadingLoadingAuthor: Lasse Blaauwbroek, Fidel I. Schaposnik Massolo, Miroslav Olšák, Vasily Pestun, Jason Rute
License: MIT
Summary: Train and run models which predict tactics for Coq.
Can't find the visual you need? Build your own here
LoadingDownloads over time
LoadingTop versions
LoadingDownloads by Python version over time
LoadingTop contributors
LoadingDownloads by system over time
LoadingRelated packages
LoadingDownloads by country
LoadingFile types by installer
Loading
