Skip to content

feat: object graph dump#12383

Draft
hargoniX wants to merge 2 commits intomasterfrom
hbv/obj_graph
Draft

feat: object graph dump#12383
hargoniX wants to merge 2 commits intomasterfrom
hbv/obj_graph

Conversation

@hargoniX
Copy link
Copy Markdown
Contributor

@hargoniX hargoniX commented Feb 9, 2026

  • feat: object graph to dot
  • tests

@github-actions github-actions Bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Feb 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant