@isergeyam
github

isergeyam

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 5
  • Registered almost 8 years ago
  • Most used languages
    Coq     100.0 %
  • Location ๐Ÿ‡ท๐Ÿ‡บ Russia
  • Country Total Rank 18,712
  • Country Ranking
    Coq     4

Top repositories

1

programming-language-foundations

Coq
1
star
2

logical-foundations

Coq
1
star
3

separation-logic-foundations

Coq
1
star