tensorflow/deepmath issues and pull requests

#38 - Missing Dataset

Issue - State: open - Opened by zhaoyu-li about 3 years ago

#37 - [*.py] Rename "Arguments:" to "Args:"

Pull Request - State: open - Opened by SamuelMarks about 4 years ago

#36 - No Dockerfile for deephol container. Dockerfile for deepmath doesn't build

Issue - State: open - Opened by RPrenger over 4 years ago

#35 - can deephol solve inductive construction problem?

Issue - State: closed - Opened by Desperatesonic over 4 years ago

#34 - Training with GPUs

Issue - State: closed - Opened by einsiedler0408 over 4 years ago - 3 comments

#33 - About the "missing" sub-package in deephol/deephol_loop

Issue - State: closed - Opened by zhou745 over 4 years ago - 1 comment

#32 - xrange() was removed from Python on 1/1/2020

Pull Request - State: closed - Opened by cclauss almost 5 years ago

#31 - S-expression generation

Issue - State: closed - Opened by NikolasTzimoulis about 5 years ago - 5 comments

#30 - bugfix change bazel version to compatible

Pull Request - State: closed - Opened by fiffeek over 5 years ago - 6 comments

#29 - Prove using multiple CPUs?

Issue - State: closed - Opened by edatibm over 5 years ago - 1 comment

#28 - Question about the holstep dataset

Issue - State: open - Opened by AI-coder over 5 years ago

#27 - name resolution failure when running prover_options.textpb

Issue - State: closed - Opened by edatibm almost 6 years ago - 2 comments

#26 - Update README.md

Pull Request - State: closed - Opened by kbansal almost 6 years ago

#25 - deephol: Increase RPC limit for communicating with proof assistant.

Pull Request - State: closed - Opened by kbansal almost 6 years ago - 1 comment

#24 - Example prover_options file to run DeepHOL via docker?

Issue - State: closed - Opened by jasonrute almost 6 years ago - 2 comments

#23 - Update README.md

Pull Request - State: closed - Opened by kbansal almost 6 years ago

#22 - Sloos/local

Pull Request - State: closed - Opened by sloos about 6 years ago

#21 - Adding test for abstract predictions API.

Pull Request - State: closed - Opened by sloos about 6 years ago - 2 comments

#20 - Copybara export.

Pull Request - State: closed - Opened by kbansal about 6 years ago

#19 - Export process_sexp, theorem fingerprinting for DeepHOL.

Pull Request - State: closed - Opened by kbansal about 6 years ago

#18 - ./configure for tensorflow

Issue - State: closed - Opened by Eulerianial about 7 years ago - 1 comment

#17 - Bazel Build Failed

Issue - State: closed - Opened by Eulerianial over 7 years ago - 3 comments

#16 - How is deepmath/hol/proofs-nat generated?

Issue - State: closed - Opened by David-Mao over 7 years ago

#15 - Add missing operator in operators list

Pull Request - State: open - Opened by redelmann over 7 years ago

#14 - Example?

Issue - State: closed - Opened by danielmhanover over 7 years ago - 1 comment

#13 - TensorFlow Fold crash

Issue - State: closed - Opened by girving almost 8 years ago - 4 comments

#12 - Export changes from piper

Pull Request - State: closed - Opened by girving almost 8 years ago - 1 comment

#11 - Fix open source build and restructure slightly

Pull Request - State: closed - Opened by girving almost 8 years ago

#10 - Acquire the correct type of lock for new write functions. Add less-th…

Pull Request - State: closed - Opened by niklaseen about 8 years ago

#9 - Documentation for zz/HolLight

Issue - State: closed - Opened by girving about 8 years ago - 1 comment
Labels: enhancement

#8 - Unit tests for zz/HolLight

Issue - State: closed - Opened by girving about 8 years ago - 1 comment
Labels: bug

#7 - Fix build

Pull Request - State: closed - Opened by girving about 8 years ago - 2 comments

#6 - Add license declarations to zz BUILD files

Pull Request - State: closed - Opened by girving about 8 years ago

#5 - Fully specified paths everywhere

Pull Request - State: closed - Opened by niklaseen about 8 years ago - 1 comment

#4 - Replace 'zb' build with Bazel build