Ryan Prenger issues

Repositories
Issues
Comments

Results 1 issues of


                                            Ryan Prenger

No Dockerfile for deephol container. Dockerfile for deepmath doesn't build

We're trying to run DeepHOL Neural Prover, mentioned here: https://sites.google.com/view/holist/home We need to modify some of the code in the container to run it. The github link for this container...