We present the Mathematical Functions Grimoire (FunGrim), a website and database of formulas and theorems for special functions. We also discuss the symbolic computation library used as the backend and main development tool for FunGrim, and the Grim formula language used in these projects to represent mathematical content semantically.

中文翻译：

---

FunGrim：特殊函数的符号库

我们介绍数学函数魔法书 (FunGrim)，这是一个网站和数据库，包含特殊函数的公式和定理。我们还讨论了用作 FunGrim 后端和主要开发工具的符号计算库，以及这些项目中用于语义表示数学内容的 Grim 公式语言。