Milan Bankovic (@milanbankovic)
github

milanbankovic

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 1
  • Registered over 9 years ago
  • Most used languages
    Isabelle     50.0 %
    C++
         50.0 %
  • Location πŸ‡·πŸ‡Έ Serbia
  • Country Total Rank 1,468
  • Country Ranking
    Isabelle     1
    C++
         353

Top repositories

1

isocert

McKay/Pipperno based graph isomorphism certification
Isabelle
3
star
2

argosmt

argosmt SMT solver
C++
1
star