I don't see any problem with existing verifiers - there are plenty for every taste already. It's the UI that always falls behind. And it seems that there is consensus that it should be based on ND. But the question is: can UI champion be found among theorists?
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/beb48db4-301b-47d9-92ca-516d0dce32e0%40googlegroups.com.
