mathematics_in_lean_source icon indicating copy to clipboard operation
mathematics_in_lean_source copied to clipboard
Published 4 months ago • verified publisher icon avigad

fix: up-to-date link of managing-type-class-inference in C07S02

Open blindFS opened this issue 4 days ago • 0 comments

Fixes #386

blindFS avatar Dec 22 '25 06:12 blindFS