4 ms·Try adding a language with proof solving capabilities. ATS, Agda, Idris, Coq spring to mind.by yetfeo 13y agoTry adding a language with proof solving capabilities. ATS, Agda, Idris, Coq spring to mind.