hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

[Lean] Turn the rejection phase into a transformation phase

Open clementblaudeau opened this issue 2 months ago • 0 comments

clementblaudeau avatar Oct 14 '25 09:10 clementblaudeau