├── .gitattributes ├── .gitignore ├── AllTools.py ├── BookTools.py ├── README.md ├── create_def.py ├── create_proof.py ├── display_content.py ├── display_content ├── Content.png ├── Development.png ├── Topic_Definitions.png └── Topic_Proofs.png ├── find_conflicts.py ├── init_tools.txt ├── replace_author.py ├── replace_string.py ├── report_links.py ├── report_links ├── Dead_Links.txt ├── Dead_Links_2020_04_14.txt ├── Dead_Links_2020_05_18.txt ├── Dead_Links_2020_06_06.txt ├── Dead_Links_2020_07_28.txt ├── Dead_Links_2020_08_26.txt ├── Dead_Links_2020_09_09.txt ├── Dead_Links_2020_12_02.txt ├── Dead_Links_2021_03_24.txt ├── Dead_Links_2021_05_04.txt ├── Dead_Links_2021_11_08.txt ├── Dead_Links_2021_11_10.txt ├── Dead_Links_2022_01_05.txt ├── Dead_Links_2022_03_28.txt ├── Dead_Links_2022_10_22.txt ├── Dead_Links_2023_08_18.txt ├── Dead_Links_2023_08_25.txt ├── Dead_Links_2024_01_12.txt ├── Dead_Links_2024_08_08.txt ├── Dead_Links_2024_09_20.txt ├── Dead_Links_2025_01_14.txt └── Dead_Links_2025_11_14.txt ├── tweet_proof.py ├── tweet_proofs.py ├── tweet_proofs ├── Random_Proofs_2023.xlsx ├── Random_Proofs_2024.xlsx └── Random_Proofs_2025.xlsx ├── visualize_all.py ├── write_book.py └── write_book ├── StatProofBook.aux ├── StatProofBook.log ├── StatProofBook.pdf ├── StatProofBook.synctex.gz ├── StatProofBook.tex ├── StatProofBook.toc └── StatProofBook.txt /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/.gitignore -------------------------------------------------------------------------------- /AllTools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/AllTools.py -------------------------------------------------------------------------------- /BookTools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/BookTools.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/README.md -------------------------------------------------------------------------------- /create_def.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/create_def.py -------------------------------------------------------------------------------- /create_proof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/create_proof.py -------------------------------------------------------------------------------- /display_content.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/display_content.py -------------------------------------------------------------------------------- /display_content/Content.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/display_content/Content.png -------------------------------------------------------------------------------- /display_content/Development.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/display_content/Development.png -------------------------------------------------------------------------------- /display_content/Topic_Definitions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/display_content/Topic_Definitions.png -------------------------------------------------------------------------------- /display_content/Topic_Proofs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/display_content/Topic_Proofs.png -------------------------------------------------------------------------------- /find_conflicts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/find_conflicts.py -------------------------------------------------------------------------------- /init_tools.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/init_tools.txt -------------------------------------------------------------------------------- /replace_author.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/replace_author.py -------------------------------------------------------------------------------- /replace_string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/replace_string.py -------------------------------------------------------------------------------- /report_links.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links.py -------------------------------------------------------------------------------- /report_links/Dead_Links.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_04_14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_04_14.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_05_18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_05_18.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_06_06.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_06_06.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_07_28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_07_28.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_08_26.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_08_26.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_09_09.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_09_09.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2020_12_02.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2020_12_02.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2021_03_24.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2021_03_24.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2021_05_04.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2021_05_04.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2021_11_08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2021_11_08.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2021_11_10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2021_11_10.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2022_01_05.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2022_01_05.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2022_03_28.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2022_03_28.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2022_10_22.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2022_10_22.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2023_08_18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2023_08_18.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2023_08_25.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2023_08_25.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2024_01_12.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2024_01_12.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2024_08_08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2024_08_08.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2024_09_20.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2024_09_20.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2025_01_14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2025_01_14.txt -------------------------------------------------------------------------------- /report_links/Dead_Links_2025_11_14.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/report_links/Dead_Links_2025_11_14.txt -------------------------------------------------------------------------------- /tweet_proof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/tweet_proof.py -------------------------------------------------------------------------------- /tweet_proofs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/tweet_proofs.py -------------------------------------------------------------------------------- /tweet_proofs/Random_Proofs_2023.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/tweet_proofs/Random_Proofs_2023.xlsx -------------------------------------------------------------------------------- /tweet_proofs/Random_Proofs_2024.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/tweet_proofs/Random_Proofs_2024.xlsx -------------------------------------------------------------------------------- /tweet_proofs/Random_Proofs_2025.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/tweet_proofs/Random_Proofs_2025.xlsx -------------------------------------------------------------------------------- /visualize_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/visualize_all.py -------------------------------------------------------------------------------- /write_book.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book.py -------------------------------------------------------------------------------- /write_book/StatProofBook.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.aux -------------------------------------------------------------------------------- /write_book/StatProofBook.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.log -------------------------------------------------------------------------------- /write_book/StatProofBook.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.pdf -------------------------------------------------------------------------------- /write_book/StatProofBook.synctex.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.synctex.gz -------------------------------------------------------------------------------- /write_book/StatProofBook.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.tex -------------------------------------------------------------------------------- /write_book/StatProofBook.toc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.toc -------------------------------------------------------------------------------- /write_book/StatProofBook.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/StatProofBook/StatProofBookTools/HEAD/write_book/StatProofBook.txt --------------------------------------------------------------------------------