おく(@OKU_K)

@okuk.bsky.social

27 Followers 32 Following

熊本/京都/神奈川/Coq/SSReflect/

Nothing here yet.