All: The "Metamath-lamp Guide", explaining how to use metamath-lamp, is now available here:
https://lamp-guide.metamath.org/ It's much prettier now, both on screen and when printed. This page is automatically regenerated when changes are merged into the main branch of: https://github.com/metamath/lamp-guide/ So if you have suggestions/improvements, please create issues or pull requests there. Thanks! --- David A. Wheeler -- 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/C168DA15-99F0-4290-BCA7-1F77476D8908%40dwheeler.com.
