Skip to content

fix: implement capture-avoiding substitution for De Bruijn indices #755

fix: implement capture-avoiding substitution for De Bruijn indices

fix: implement capture-avoiding substitution for De Bruijn indices #755

Triggered via issue December 13, 2025 08:36
@yyhrnkyyhrnk
commented on #554 74542a0
Status Success
Total duration 13s
Artifacts

cla.yml

on: issue_comment
CLAAssistant
10s
CLAAssistant
Fit to window
Zoom out
Zoom in