Name |
Last commit
|
Last update |
---|---|---|
configs | Loading commit data... | |
datasets | Loading commit data... | |
figures | Loading commit data... | |
mathlib4 @ 2f65ba7f | ||
prover | Loading commit data... | |
.gitignore | Loading commit data... | |
.gitmodules | Loading commit data... | |
LICENSE-CODE | Loading commit data... | |
LICENSE-MODEL | Loading commit data... | |
README.md | Loading commit data... | |
draw_fig.py | Loading commit data... | |
inference.slurm | Loading commit data... | |
paper.pdf | Loading commit data... | |
quick_start.py | Loading commit data... | |
quick_start_oracle.py | Loading commit data... | |
requirements.txt | Loading commit data... | |
submit.sh | Loading commit data... | |
test-proof.slurm | Loading commit data... | |
test.lean | Loading commit data... |