itauto : a micro intuitionistic SMT for the Coq proof assistant

Look at the README