j-hartling 2b9f411a06 Done bullet-pointing LHP invariance, nearly done with THP invariance.		2025-11-13 16:52:22 +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 LHP invariance, nearly done with THP invariance.	2025-11-13 16:52:22 +01:00
main.fls	Currently formalizing log-invariance (WIP).	2025-11-11 15:52:07 +01:00
main.log	Done bullet-pointing LHP invariance, nearly done with THP invariance.	2025-11-13 16:52:22 +01:00
main.pdf	Done bullet-pointing LHP invariance, nearly done with THP invariance.	2025-11-13 16:52:22 +01:00
main.run.xml	Formalizing stuff (WIP).	2025-11-06 09:27:17 +01:00
main.synctex.gz	Done bullet-pointing LHP invariance, nearly done with THP invariance.	2025-11-13 16:52:22 +01:00
main.tex	Done bullet-pointing LHP invariance, nearly done with THP invariance.	2025-11-13 16:52:22 +01:00