duve
@jevonduve
logics and categories. like to play with dependent types. 24. vegan. penn. doing formal methods @logic_int
452 フォロー中 616 ファン
読み込み中...
人気のあるユーザー
