1lab icon indicating copy to clipboard operation
1lab copied to clipboard
verified publisher icon plt-amy

Strict-cats is univalent

Open ncfavier opened this issue 1 month ago • 1 comments

...and other small stuff.

ncfavier avatar Nov 29 '25 15:11 ncfavier

Pull request preview

Changed pages

Lavenza avatar Nov 29 '25 15:11 Lavenza