Daisuke ISHII (@dsksh)
github

dsksh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,604,536 (Top 56 %)
  • Followers 5
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    Python
         50.0 %
    Coq     50.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 22,440
  • Country Ranking
    Coq     28
    Python
         7,941

Top repositories

1

coq-smc

Coq formalization of the encoding methods of SAT/SMT-based Model Checking.
Coq
3
star
2

ICPy

Python
1
star