Idris is meant for general purpose programming. If you want something Idris-like that is for theorem proving specifically, I would suggest trying Agda (which is

Idris is meant for general purpose programming. If you want something Idris-like that is for theorem proving specifically, I would suggest trying Agda (which is much closer to Coq in terms of use).