3 ms·A formalization of μμ͂ and classical realizability (2023)2 points by 082349872349872 2y ago1oooqooq 2y agoautistic compsci moved from chorded key combinations on emacs to overlycomplex compose key unicode inputs in source files now?