Shun MIZUKAMI (@mizukami234)
github

mizukami234

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,604,574 (Top 56 %)
  • Followers 11
  • Following 12
  • Registered almost 12 years ago
  • Most used languages
    Ruby
         50.0 %
    Coq     50.0 %
  • Location 🇯🇵 Japan
  • Country Total Rank 20,501
  • Country Ranking
    Coq     44
    Ruby
         3,456

Top repositories

1

stochastic-calculus-for-finance-note

ファイナンスのための確立解析勉強会ノート
2
star
2

coq-play-rubic

Coqでルービックキューブ
Coq
1
star
3

sequence-calculus-ruby

命題論理のシークエント計算の簡単な実装 (Ruby版)
Ruby
1
star