> > Real mathematicians don't use proof checkers, I'm afraid. It's too > time-consuming. >
They will, as somebody said: "mathematics is a game", and mathematicians like to play. Proof assistants just need a good UI to make it fun. Right now it's boring as you already said. -- 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/003f4991-d48b-42bc-82b8-61236dd4cee2%40googlegroups.com.
