minor edit and compressing files

sean-parent · May 17, 2024 · 80ae501 · 80ae501
1 parent 9eb3c98
commit 80ae501
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning-notes.pdf b/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning-notes.pdf
diff --git a/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning.key b/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning.key
diff --git a/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning.pdf b/presentations/2024-05-16-local-reasoning/2024-05-16-local-reasoning.pdf