Skip to content
BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
ARISTOTLE_SUMMARY.md
ARISTOTLE_SUMMARY.md
 
 
BESSEL_STRUVE_ASSESSMENT.md
BESSEL_STRUVE_ASSESSMENT.md
 
 
Fable5.aux
Fable5.aux
 
 
Fable5.citeproc.tex
Fable5.citeproc.tex
 
 
Fable5.docx
Fable5.docx
 
 
Fable5.log
Fable5.log
 
 
Fable5.pdf
Fable5.pdf
 
 
Fable5.synctex.gz
Fable5.synctex.gz
 
 
Fable5.tex
Fable5.tex
 
 
Fable5_Accessible_PDF.pdf
Fable5_Accessible_PDF.pdf
 
 
Fable5_aristotle.tar.gz
Fable5_aristotle.tar.gz
 
 
Fable5_from_DOCX.pdf
Fable5_from_DOCX.pdf
 
 
June_Edinburgh_Project.zip
June_Edinburgh_Project.zip
 
 
Main.lean
Main.lean
 
 
README.md
README.md
 
 
REMAINING_STEPS.md
REMAINING_STEPS.md
 
 
SESSION_NOTES.md
SESSION_NOTES.md
 
 
TRACY_WIDOM_ROADMAP.md
TRACY_WIDOM_ROADMAP.md
 
 
TypeDDecoupling.lean
TypeDDecoupling.lean
 
 
TypeDDecouplingCrossover.lean
TypeDDecouplingCrossover.lean
 
 
TypeDDecouplingDualPairWitness.lean
TypeDDecouplingDualPairWitness.lean
 
 
TypeDDecouplingDuality.lean
TypeDDecouplingDuality.lean
 
 
TypeDDecouplingEW.lean
TypeDDecouplingEW.lean
 
 
TypeDDecouplingEW_AUDIT.md
TypeDDecouplingEW_AUDIT.md
 
 
TypeDDecouplingLCLT.lean
TypeDDecouplingLCLT.lean
 
 
TypeDDecouplingTiers34.lean
TypeDDecouplingTiers34.lean
 
 
TypeDDecouplingTracyWidom.lean
TypeDDecouplingTracyWidom.lean
 
 
arxiv-suggested-changes.aux
arxiv-suggested-changes.aux
 
 
arxiv-suggested-changes.log
arxiv-suggested-changes.log
 
 
arxiv-suggested-changes.pdf
arxiv-suggested-changes.pdf
 
 
arxiv-suggested-changes.synctex.gz
arxiv-suggested-changes.synctex.gz
 
 
arxiv-suggested-changes.tex
arxiv-suggested-changes.tex
 
 
bibliography_66_alphabetical.log
bibliography_66_alphabetical.log
 
 
bibliography_66_alphabetical.tex
bibliography_66_alphabetical.tex
 
 
c4a248ca-d110-46ed-87db-9eea9f77b3eb-aristotle (5).tar.gz
c4a248ca-d110-46ed-87db-9eea9f77b3eb-aristotle (5).tar.gz
 
 
check_a_occupations.py
check_a_occupations.py
 
 
check_crossbridge.py
check_crossbridge.py
 
 
check_duality_interlacing.py
check_duality_interlacing.py
 
 
check_exact_orthogonality.py
check_exact_orthogonality.py
 
 
check_finite_n_decoupling.py
check_finite_n_decoupling.py
 
 
check_tridual_identities.py
check_tridual_identities.py
 
 
combine_mc.py
combine_mc.py
 
 
corr_Xplus_c.png
corr_Xplus_c.png
 
 
cov_scaling_typeD.png
cov_scaling_typeD.png
 
 
fable5_session_transcript.md
fable5_session_transcript.md
 
 
histogram_vs_tw_T33000.png
histogram_vs_tw_T33000.png
 
 
ieee.csl
ieee.csl
 
 
lake-manifest.json
lake-manifest.json
 
 
lakefile.toml
lakefile.toml
 
 
lean-toolchain
lean-toolchain
 
 
mc400_1.txt
mc400_1.txt
 
 
mc400_2.txt
mc400_2.txt
 
 
mc400_3.txt
mc400_3.txt
 
 
mc400_4.txt
mc400_4.txt
 
 
mc400_5.txt
mc400_5.txt
 
 
mc400_6.txt
mc400_6.txt
 
 
mc400_7.txt
mc400_7.txt
 
 
mc400_8.txt
mc400_8.txt
 
 
mc800_1.txt
mc800_1.txt
 
 
mc800_2.txt
mc800_2.txt
 
 
mc800_3.txt
mc800_3.txt
 
 
mc800_4.txt
mc800_4.txt
 
 
n2_vs_n13_vs_tw_T20000.png
n2_vs_n13_vs_tw_T20000.png
 
 
provenance-additions.zip
provenance-additions.zip
 
 
refs-as-list.lua
refs-as-list.lua
 
 
refs.bib
refs.bib
 
 
rho_c_duality.jpg
rho_c_duality.jpg
 
 
session_3f4a09a8_current_raw.md
session_3f4a09a8_current_raw.md
 
 
session_c6bedc86_fable5_raw.md
session_c6bedc86_fable5_raw.md
 
 
texput.log
texput.log
 
 
typeD_decoupling-arxiv-suggested.aux
typeD_decoupling-arxiv-suggested.aux
 
 
typeD_decoupling-arxiv-suggested.log
typeD_decoupling-arxiv-suggested.log
 
 
typeD_decoupling-arxiv-suggested.out
typeD_decoupling-arxiv-suggested.out
 
 
typeD_decoupling-arxiv-suggested.pdf
typeD_decoupling-arxiv-suggested.pdf
 
 
typeD_decoupling-arxiv-suggested.synctex.gz
typeD_decoupling-arxiv-suggested.synctex.gz
 
 
typeD_decoupling-arxiv-suggested.tex
typeD_decoupling-arxiv-suggested.tex
 
 
typeD_decoupling-arxiv-suggested.toc
typeD_decoupling-arxiv-suggested.toc
 
 
typeD_decoupling-draft-rev2.aux
typeD_decoupling-draft-rev2.aux
 
 
typeD_decoupling-draft-rev2.log
typeD_decoupling-draft-rev2.log
 
 
typeD_decoupling-draft-rev2.out
typeD_decoupling-draft-rev2.out
 
 
typeD_decoupling-draft-rev2.pdf
typeD_decoupling-draft-rev2.pdf
 
 
typeD_decoupling-draft-rev2.synctex.gz
typeD_decoupling-draft-rev2.synctex.gz
 
 
typeD_decoupling-draft-rev2.tex
typeD_decoupling-draft-rev2.tex
 
 
typeD_decoupling-draft-rev2.toc
typeD_decoupling-draft-rev2.toc
 
 
typeD_decoupling-draft-rev3.aux
typeD_decoupling-draft-rev3.aux
 
 
typeD_decoupling-draft-rev3.citeproc.tex
typeD_decoupling-draft-rev3.citeproc.tex
 
 
typeD_decoupling-draft-rev3.docx
typeD_decoupling-draft-rev3.docx
 
 
typeD_decoupling-draft-rev3.log
typeD_decoupling-draft-rev3.log
 
 
typeD_decoupling-draft-rev3.out
typeD_decoupling-draft-rev3.out
 
 
typeD_decoupling-draft-rev3.pdf
typeD_decoupling-draft-rev3.pdf
 
 
typeD_decoupling-draft-rev3.resolved.tex
typeD_decoupling-draft-rev3.resolved.tex
 
 
typeD_decoupling-draft-rev3.synctex.gz
typeD_decoupling-draft-rev3.synctex.gz
 
 
typeD_decoupling-draft-rev3.tex
typeD_decoupling-draft-rev3.tex
 
 
typeD_decoupling-draft-rev3.toc
typeD_decoupling-draft-rev3.toc
 
 
typeD_decoupling-draft-rev3_accessible.docx
typeD_decoupling-draft-rev3_accessible.docx
 
 
typeD_decoupling-draft-rev3_accessible.pdf
typeD_decoupling-draft-rev3_accessible.pdf
 
 
typeD_decoupling-draft-rev3_accessible.tex
typeD_decoupling-draft-rev3_accessible.tex
 
 
typeD_decoupling-draft-rev3_accessible_ax.pdf
typeD_decoupling-draft-rev3_accessible_ax.pdf
 
 
typeD_decoupling-draft.aux
typeD_decoupling-draft.aux
 
 
typeD_decoupling-draft.log
typeD_decoupling-draft.log
 
 

Repository files navigation

This project was edited by Aristotle.

To cite Aristotle:

  • Tag @Aristotle-Harmonic on GitHub PRs/issues
  • Add as co-author to commits:
Co-authored-by: Aristotle (Harmonic) <aristotle-harmonic@harmonic.fun>

About

files for my paper, posted to arXiv

Resources

Readme
Activity

Stars

2 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages