This directory contains a variety of different stuff. There are python scripts to do deploys, as well as some code to train proof step scoring models. Future Python projects larger than a few scripts should probably go in a different repo.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains a variety of different stuff. There are python scripts to do deploys, as well as some code to train proof step scoring models. Future Python projects larger than a few scripts should probably go in a different repo.