Update coq_rewriting.markdown

plclub · Mar 10, 2020 · 568fa59 · 568fa59
1 parent ebb2481
commit 568fa59
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/posts/coq_rewriting.markdown b/posts/coq_rewriting.markdown
@@ -1,8 +1,3 @@
----
-title: R E S P E C T : Find Out What It Means To The Coq Standard Library
-author: Lucas Silver
----
-
 ## `R E S P E C T` : Find Out What It Means To The Coq Standard Library
 
 ### Lucas Silver
@@ -283,4 +278,4 @@ Proof.
 Qed.
 ```
 
-Hopefully, you found this to be a useful introduction to rewriting in Coq. There is much more to learn, but you should have a strong enough foundation to learn it on your own. Good luck proving things!
+Hopefully, you found this to be a useful introduction to rewriting in Coq. There is much more to learn, but you should have a strong enough foundation to learn it on your own. Good luck proving things!