A software engineer / based in ๐ฏ๐ต / interested in Deno, VSCode Custom Editor, Theorem provers / A partner of Iyo. he/him https://kt3k.org
A software engineer / based in ๐ฏ๐ต / interested in Deno, VSCode Custom Editor, Theorem provers / A partner of Iyo. he/him https://kt3k.org