Files

You've found the listing of miscellaneous files that I keep on this website!

This listing was generated by some scripts which I run manually, so it may be out of date if I have forgotten to run it.

• 2023-srf.pdf
• 2024-pf-summary.pdf
• 2024-pf-talk.pdf
• 2025-mscr-thesis.pdf
• 2025-prime-factor-matrices-nilpotency-indices.pdf
• 2026-04-08-lawvere-theories.pdf
• cc0-1.0.txt
• gen/
  • create-all
  • create-listing
  • index.html
• index.html
• unlicense.txt

This sentence was last updated on 2026-04-15.