AIs-welcome Lean library downstream of Mathlib

Here's a brief summary and explanation of the project: **Summary:** AIs-welcome is an open-source Lean library that builds upon Mathlib, enabling developers to