Add "front matter"-like header to theorem-proving-in-lean.

2023-02-20 18:04:51 -07:00 · 2023-02-20 18:04:51 -07:00 · d69dd926da
parent e607a0efb0
commit d69dd926da
6 changed files with 24 additions and 18 deletions
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises2.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises2.lean
@ -1,6 +1,7 @@
-/- Exercises 2
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises3.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises3.lean
@ -1,6 +1,7 @@
-/- Exercises 3
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises4.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises4.lean
@ -1,6 +1,7 @@
-/- Exercises 4
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises5.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises5.lean
@ -1,6 +1,7 @@
-/- Exercises 5
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises7.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises7.lean
@ -1,6 +1,7 @@
-/- Exercises 7
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1
--- a/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises8.lean
+++ b/bookshelf/theorem-proving-in-lean/TheoremProvingInLean/Exercises8.lean
@ -1,6 +1,7 @@
-/- Exercises 8
- -
- - Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
+/-
+# References
+
+1. Avigad, Jeremy. ‘Theorem Proving in Lean’, n.d.
 -/

 -- Exercise 1