j_hartling/paper_2025
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6 Commits 1 Branch 0 Tags 149 MiB
TeX 83.5%
Python 16.5%
53e43f61f5
Go to file
j-hartling 53e43f61f5 Currently formalizing log-invariance (WIP).
2025-11-11 15:52:07 +01:00
cite.bib Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.aux Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +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 Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.fls Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.log Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.pdf Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.run.xml Formalizing stuff (WIP). 2025-11-06 09:27:17 +01:00
main.synctex.gz Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00
main.tex Currently formalizing log-invariance (WIP). 2025-11-11 15:52:07 +01:00