3 ms·Yes, Isabelle is the best system for this style of proving right now.by auggierose 7y agoYes, Isabelle is the best system for this style of proving right now.