Update images in preface

djvelleman · Jun 19, 2024 · 86f0a19 · 86f0a19
1 parent 7dd644c
commit 86f0a19
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/Images/Ready.png b/Images/Ready.png
diff --git a/docs/How-To-Prove-It-With-Lean.pdf b/docs/How-To-Prove-It-With-Lean.pdf
diff --git a/docs/Images/Ready.png b/docs/Images/Ready.png