hott

書いてみる

関連タグ

#Hamachi (8)
#Twitter (95,895)
#日記 (4,425,615)
#活動 (16,766)
#自分 (446,265)
#証明 (2,483)

Constructive Mathematics Is Not Metamathematics を読むだけ

るーるーるー
3週間前

HoTT 関連まとめ

¥3,000
るーるーるー
3週間前

お金がない！！

はまちゃん@どうしようもない自分を愛して生きていく
1年前