lean-extract. Extract the dependency graph for a given theorem + populates graph structure with git history

github.com/iammadab/lean-extract

Problem

Audience

Updates

No founder updates yet. Check back soon.