> > > What's the most surprising in such discussions is how little people in the > field know about each other. >
Learning a proof checker takes such a long time ! And the underlying logic are different. What he is looking for is that no? https://www.youtube.com/watch?v=Rst2hZpWUbU And the FAQ. I think that the "metamath" executable itself is better to get acquainted with the system than mmj2. Because it is more coerced. Unfortunately the absence of parser makes it quite impossible to enter some formula. -- FL -- 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/decfb521-42f8-4dfa-bfb8-53f2d7a9f981%40googlegroups.com.
