Simon Tsirikov (@SimonTsirikov)
github

SimonTsirikov

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 2
  • Registered about 6 years ago
  • Most used languages
    Python
         100.0 %
  • Location πŸ‡·πŸ‡Ί Russia
  • Country Total Rank 18,712
  • Country Ranking
    Python
         5,047

Top repositories

1

spbu2020_mathematical_logic

Solver for sequent calculus.
Python
2
star