Oishik Ganguly (@oishikg)
github

oishikg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 4
  • Following 23
  • Registered over 7 years ago
  • Most used languages
    Coq     100.0 %
  • Location πŸ‡ΈπŸ‡¬ Singapore
  • Country Total Rank 6,256
  • Country Ranking
    Coq     6

Top repositories

1

formal_verification_avl_trees

Verifying Correctness of an OCaml based implementation of AVL Trees
Coq
2
star
2

fpp-final-project

Final project for introductory formal verification course
Coq
1
star