coq-tactician/coq-tactician-reinforce

This is stars and forks stats for /coq-tactician/coq-tactician-reinforce repository. As of 25 Apr, 2024 this repository has 2 stars and 0 forks.

A Graph -and Text-based machine learning interface for Tactician Prerequisites This repository has an OCaml component that should be installed through the Opam package manager and a Python component that should be installed through the Pip package manager. Additionally, some extra dependencies are needed: Opam 2.1.x Capt'n Proto >= 0.8 XXHash >= 0.8 Graphviz A reasonable set of development packages like git, bash, gmp, c/c++ compiler toolchains that should be installed on most systems. The...