j_hartling/paper_2025
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8 Commits 1 Branch 0 Tags 149 MiB
TeX 83.5%
Python 16.5%
ed8f06b5db
Go to file
j-hartling ed8f06b5db Done bullet-pointing and formalizing TLP invariance
2025-11-14 16:22:30 +01:00
cite.bib Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.aux Done bullet-pointing LHP invariance, nearly done with THP invariance. 2025-11-13 16:52:22 +01:00
main.bbl Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.bbl-SAVE-ERROR Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.bcf Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.fdb_latexmk Done bullet-pointing and formalizing TLP invariance 2025-11-14 16:22:30 +01:00
main.fls Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.log Done bullet-pointing and formalizing TLP invariance 2025-11-14 16:22:30 +01:00
main.pdf Done bullet-pointing and formalizing TLP invariance 2025-11-14 16:22:30 +01:00
main.run.xml Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.synctex.gz Done bullet-pointing and formalizing TLP invariance 2025-11-14 16:22:30 +01:00
main.tex Done bullet-pointing and formalizing TLP invariance 2025-11-14 16:22:30 +01:00