From 7d051a52c49ac25ee5a04c7a2a70148cc95ddab3 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Tue, 9 Jan 2024 14:58:28 +0100 Subject: [PATCH] Update README.md --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index c58467c..462f14a 100644 --- a/README.md +++ b/README.md @@ -33,3 +33,7 @@ There are a few commands implemented, which help you analysing the imports of a in the current file. (Must be run at the end of the file. Tactics and macros may result in incorrect output.) * `#find_home decl`: suggests files higher up the import hierarchy to which `decl` could be moved. + +## Credits + +This code has been extracted from [mathlib](https://github.com/leanprover-community/mathlib4) and has mainly been written by Scott Morrison and a few other mathlib contributors.