Anton Dudov (@Anton94)
github

Anton94

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1
  • Global Rank 2,813,844 (Top 99 %)
  • Followers 3
  • Following 1
  • Registered about 12 years ago
  • Most used languages
    C++
         100.0 %
  • Location πŸ‡§πŸ‡¬ Bulgaria
  • Country Total Rank 2,921
  • Country Ranking
    C++
         435

Top repositories

1

modal_logic_formula_prover

TODO: Master degree project for prooving/disprooving formulas (space and probability)
C++
1
star