This repository has been archived by the owner on May 15, 2023. It is now read-only.

Commits

Commits on Mar 16, 2020

Update Dockerfile
kbansal
authored

Commits on Jun 10, 2019

Merge branch 'master' of https://github.com/tensorflow/deepmath
sloos
committed

Commits on Jun 7, 2019

export

szegedy
authored and
sloos
committed

Commits on Apr 30, 2019

Commits on Apr 22, 2019

Merge remote-tracking branch 'google/master'
kbansal
committed
Internal change.
kbansal
committed
Merge remote-tracking branch 'google/master'
kbansal
committed
Copy build artifacts to new image to reduce size.
stewbasic
committed
Update README.md

kbansal
authored and
stewbasic
committed
Fix entrypoint for docker.

kbansal
authored and
stewbasic
committed
Dockerfile fix for https clone.

kbansal
authored and
stewbasic
committed
Dockerfile

kbansal
authored and
stewbasic
committed
Merge pull request #25 from tensorflow/kbansal-patch-2
kbansal
authored
Copybara sync export.

sloos
authored and
kbansal
committed

Commits on Apr 19, 2019

deephol: Increase RPC limit for communicating with proof assistant.
kbansal
committed

Commits on Apr 11, 2019

Merge pull request #23 from tensorflow/kbansal-patch-1
kbansal
authored

Commits on Apr 8, 2019

Update README.md
kbansal
authored

Commits on Apr 7, 2019

Fix entrypoint for docker.
kbansal
committed

Commits on Apr 4, 2019

Commits on Mar 28, 2019

DeepHOL.
kbansal
committed