@ashasoroushpoor
github

ashasoroushpoor

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 8
  • Following 17
  • Registered about 6 years ago
  • Most used languages
    Coq     100.0 %
  • Location 🇮🇷 Iran
  • Country Ranking
    Coq     1

Top repositories

1

Interpol_theorem

formalized proof of interpolation theorem in various logics using sequent calculus
Coq
1
star
2

Interpol_theorem_second_approach

Coq
1
star