An implementation for the sequent calculus and some logics (IL, ILL for now)