Possible Typos in README - Githubissues

dwhalen / holophrasm

Holophrasm: a neural Automated Theorem Prover for higher-order logic

MIT License

51 stars 13 forks source link

Possible Typos in README #5

Open ColinQiyangLi opened 4 years ago

ColinQiyangLi commented 4 years ago

https://github.com/dwhalen/holophrasm/blob/0d971428f9879ad3d6c0a781f1a021cff73fb1ce/README#L61 https://github.com/dwhalen/holophrasm/blob/0d971428f9879ad3d6c0a781f1a021cff73fb1ce/README#L62

I believe the two lines for copying the weight and parameters are supposed be the following two lines

cp weights/payout/train.parameters searcher/payout.parameters
cp weights/payout/train.weights searcher/payout.weights