Mohamed Yacine EL HADDAD (@elhaddadyacine)
github

elhaddadyacine

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 13
  • Following 6
  • Registered almost 10 years ago
  • Most used languages
    TypeScript
         50.0 %
    OCaml
         50.0 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 24,355
  • Country Ranking
    OCaml
         213
    TypeScript
         4,739

Top repositories

1

ProblemExtractor

A tool to get TPTP problems from a TSTP proof trace
OCaml
3
star
2

simple-tz-sc

TypeScript
1
star