Commit Graph

3 Commits

Author SHA1 Message Date
4a842fa700 Use cleveref 2024-02-13 09:27:16 +01:00
557f884eb4 Some cleanup 2024-01-31 22:39:29 +01:00
cdea1bda91 Crude table of contents 2024-01-21 18:07:26 +01:00