coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard
verified publisher icon JasonGross

Include number of recursive dependencies (with stdlib? without stdlib?) in header reduction lines

Open JasonGross opened this issue 4 years ago • 0 comments

This would help analyze complexity

JasonGross avatar Nov 09 '21 18:11 JasonGross