タコ所長

@presTako

47Contributions

16
Posts 5
Followees 2
Followers

Location

Saitama, Japan

Following Organizations

No Organizations you are following

Following tags(36)See all

lean-lang lean lean4 TypeScript RaspberryPi 設計 DDD Idris purescript folktale ramda yesod データ構造アルゴリズム cssnext MySQL mariadb kubernetes 代数数学

Contributions

posted an article

順序集合がわからない

posted an article

証明では思うように再帰はできないらしい

posted an article

article is Stocked

『なんとなく』が許せない人のための Lean 4： Std.DHashMap編

posted an article

『なんとなく』が許せない人のための Lean 4： Std.DHashMap編

posted an article

同値性のrwタクティクがわからない

article is Liked

`dsimp` が何をやっているか覗く

article is Stocked

`dsimp` が何をやっているか覗く

article is Liked

`dsimp` が何をやっているか覗く

posted an article

`dsimp` が何をやっているか覗く