Add info about transitioning to standard Lean

djvelleman · Nov 29, 2024 · 5d11610 · 5d11610
1 parent 08de7b3
commit 5d11610
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/How-To-Prove-It-With-Lean.pdf b/docs/How-To-Prove-It-With-Lean.pdf