removed cruft updated readme

philzook58 · Aug 5, 2024 · b68467a · b68467a
1 parent c02b952
commit b68467a
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 2,702 deletions.
diff --git a/thoughts/2023-11-09-z3-itp.ipynb b/thoughts/2023-11-09-z3-itp.ipynb
diff --git a/thoughts/cas.ipynb b/thoughts/cas.ipynb