Hiroki Ishioka (@ishioka0222)
github

ishioka0222

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 2
  • Registered almost 7 years ago
  • Most used languages
    Coq     100.0 %
  • Location ๐Ÿ‡ฏ๐Ÿ‡ต Japan
  • Country Total Rank 19,107
  • Country Ranking
    Coq     47

Top repositories

1

theorem-proving-in-coq

Coqใซใ‚ˆใ‚‹ๅฎš็†่จผๆ˜Ž
Coq
1
star