GitHub repository: rjain2470/lean-kg
Primary language: Python
Created: 2025-06-23T00:29:26Z
Description: This repo contains the code needed to extract, embed, and visualize the dependency graph of mathlib4, the database of over 500k formal statements and proofs in Lean.