logitext icon indicating copy to clipboard operation
logitext copied to clipboard
verified publisher icon ezyang

Intuitionistic version does not highlight proven theorems green

Open JasonGross opened this issue 5 years ago • 0 comments

This is the classical version: image And this is the intuitionistic version: image

JasonGross avatar Apr 15 '20 18:04 JasonGross