I just had a look at metamath-lamp itself and at the video. It is actually very impressive, but, to be honest, I have no idea how to use it. There is an urgent need for instructions, a user guide, a tutorial, etc. before it can be recommened for beginners...
-- 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/f7200927-8dce-4eb9-ae2d-2c9da92b4212n%40googlegroups.com.
