There is a large library of mathematics formalized in lean called mathlib. There...

reuben364 on March 15, 2025 | parent | context | favorite | on: Lemma for the Fundamental Theorem of Galois Theory

There is a large library of mathematics formalized in lean called mathlib. There are graphs for the module dependencies, but I haven't seen any at the level of definitions (including lemmas and theorems).