update README

this is no longer "copied" of lean2md!!
Seasawher · Apr 3, 2024 · cdeea40 · cdeea40
1 parent 769faa4
commit cdeea40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -34,4 +34,4 @@ If you want to know more details, check the test code.
 
 ## Acknowledgments
 
-Many parts of the code are copied from [lean2md](https://github.com/arthurpaulino/lean2md). Thank you [@arthurpaulino](https://github.com/arthurpaulino).
+I would like to acknowledge the author of [lean2md](https://github.com/arthurpaulino/lean2md), [@arthurpaulino](https://github.com/arthurpaulino).