文件名称：他杰西
文件大小：7.24MB
文件格式：ZIP
更新时间：2024-03-08 04:01:56
TeX
他杰西 这是我个人的GitHub存储库，用于个人项目，编程练习和演讲。
【文件预览】：
he-jesse-master
----Agda()
--------hello-world.agda~(80B)
--------hello-world.agda(32B)
--------easy.agdai(963B)
--------hello-world.agdai(787B)
--------#easy.agda#(0B)
--------easy.agda~(51B)
--------easy.agda(47B)
----python()
--------paperfolding.py(261B)
--------havel-hakimi.py(487B)
--------sieve_of_eratosthenes.py(446B)
--------math4181h_hw11series.py(172B)
--------integer_complexity.py(277B)
----LaTeX()
--------Making_a_STEP_PDC.tex(3KB)
--------resume.tex(0B)
--------Making_a_STEP_PDC.pdf(65KB)
--------LaTeX_Syllabus.pdf(88KB)
--------LaTeX_PDC_Syllabus.tex(4KB)
--------tikZ-test.pdf(55KB)
--------LaTeX_PDC_Syllabus.synctex.gz(10KB)
--------tikZ-test.synctex.gz(3KB)
--------cv.tex(118B)
--------cv.synctex.gz(665B)
--------Making_a_STEP_PDC.synctex.gz(8KB)
--------cv.pdf(24KB)
--------tikZ-test.tex(2KB)
----README.md(123B)
----ReadingClassicsTalks()
--------AU20-Tuning_Theory()
--------SP20-Arrow_Impossibility()
--------SP21-Comp_Lin_Alg()