From cdeea406e66fa123dcc20ac05e184406fb83e91e Mon Sep 17 00:00:00 2001 From: Seasawher Date: Thu, 4 Apr 2024 00:44:49 +0900 Subject: [PATCH] update README this is no longer "copied" of lean2md!! --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index bd61801..54a6e78 100644 --- 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).