Code for GNN based approaches for automating the HOL4 theorem prover
There are several modules within this repo, which were intially written for testing the performace of GNNs on premise selection in HOL4. Some of the modules and helper functions may prove useful for other use cases.