Anton Dudov (@Anton94)
github

Anton94

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1
  • Global Rank 2,863,091 (Top 99 %)
  • Followers 3
  • Following 1
  • Registered almost 13 years ago
  • Most used languages
    C++
         100.0 %
  • Location 🇧🇬 Bulgaria
  • Country Total Rank 2,921
  • Country Ranking
    C++
         447

Top repositories

1

modal_logic_formula_prover

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