@shosy

29Contributions

2
Posts 1
Followees 0
Followers

Participating Organizations(1)

Following Organizations

No Organizations you are following

Following tags

No tags you are following

Contributions

article is Stocked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Stocked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

comment on this article is Liked

なぜ、Haskellで競技プログラミングを始めたのか。Haskellに挑戦するモチベーション

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた

article is Liked

定理証明支援系 Lean を用いて 1+1=2 や加法の結合法則を証明してみた