"Metamath-lamp Guide" now visible at: https://lamp-guide.metamath.org/

[David A. Wheeler]

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