Merge pull request #67 from EleutherAI/docs-fix

Remove duplicate section in docs
EleutherAI · Oct 11, 2023 · 848abb7 · 848abb7
2 parents da77dcf + 3db8310
commit 848abb7
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/proof_pile_2/algebraic_stack/README.md b/proof_pile_2/algebraic_stack/README.md
@@ -20,13 +20,6 @@ git clone https://github.com/semorrison/lean-training-data.git
 ```
 Then, `cd` into the `lean-training-data` directory and follow the setup instructions in `README.md`. Finally, run `process_lean_proofsteps.py --vocab /path/to/llama/tokenizer.model` and you will find the preprocessed data in `data_jsonl`.
 
-## Lean Proofsteps
-Within the `algebraic_stack` directory, run 
-```
-git clone https://github.com/semorrison/lean-training-data.git
-```
-Then, `cd` into the `lean-training-data` directory and follow the setup instructions in `README.md`. Finally, run `process_lean_proofsteps.py --vocab /path/to/llama/tokenizer.model` and you will find the preprocessed data in `data_jsonl`.
-
 ## Isabelle Proofsteps
 Isabelle Proofsteps are processed in `./process_isabelle_proofsteps.py`.