きゆあもねあど（-12） (@curelemonade2) on X
Type Theoryと定理証明とジトジト。
twitter.com