Tools for The Book of Statistical Proofs
To configure everything, proceed as follows:
- clone the repositories StatProofBook.github.io and StatProofBookTools to your local machine;
- replace the first line of
init_tools.txtby the path to your local StatProofBook.github.io repository; - run any of the Python scripts (ending on
.py) in your local StatProofBookTools repository.
In more details, the tools allow you to:
write_book.py: write all StatProofBook content into a LaTeX source file that results in a PDF of the book;create_def.py: take definition written in LaTeX and transform it into a StatProofBook entry written in Markdown;create_proof.py: take a proof written in LaTeX and transform it into a StatProofBook entry written in Markdown;report_links.py: create a list of dead links, i.e. a list of pages which are referenced but non-existing;find_conflicts.py: display a list of conflicts, i.e. mismatches between table of contents and proofs/definitions;replace_string.py: replace an arbitrary string with another predefined string in all proofs and definitions;display_content.py: display some stats regarding content, development, proofs and definitions;visualize_all.py: create a nested dictionary that can be used for interactive visualization;tweet_proofs.py: generate a list of random proofs for tweeting from the StatProofBook Twitter profile;tweet_proof.py: generate a text for tweeting a new proof from the StatProofBook Twitter profile.