MrHidr
I'm a double threat – a computer science student at the University of Tehran and a product designer.
MrHidr's Stars
ashasoroushpoor/Interpol_theorem
formalized proof of interpolation theorem in various logics using sequent calculus
ashasoroushpoor/Interpol_theorem_second_approach