issues
search
ml4tp
/
gamepad
A Learning Environment for Theorem Proving
Apache License 2.0
71
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump numpy from 1.14.3 to 1.22.0 in /gamepad
#15
dependabot[bot]
opened
2 years ago
0
What is the API for position evaluation and how was it used?
#14
brando90
opened
3 years ago
0
Where are the position evaluation models?
#13
brando90
opened
4 years ago
1
Bump psutil from 5.4.5 to 5.6.6 in /gamepad
#12
dependabot[bot]
opened
4 years ago
0
Error when trying to create `tacst.pickle` file via tacst_prep.py
#11
frieders
opened
5 years ago
0
Documentation/API
#10
brando90
opened
5 years ago
0
including a setup.py for depedencies
#9
brando90
opened
5 years ago
0
How do I make sure I am using TCOQ
#8
brando90
opened
5 years ago
0
build tcoq failed
#7
dsmic
opened
5 years ago
0
make file missing?
#6
brando90
opened
5 years ago
0
No setup.py to install the gamepad module
#5
spolu
closed
5 years ago
1
issues installing
#4
brando90
opened
5 years ago
5
Failed to Build tcoq
#3
yangky11
opened
6 years ago
2
build tcoq failed.
#2
tigerneil
closed
5 years ago
4
suggestion: Use eval to add path in zsh+iTerminal
#1
tigerneil
closed
5 years ago
0