> On May 29, 2023, at 6:26 PM, David A. Wheeler <[email protected]> wrote: > > All: > > I intend to create a new metamath org repository named "lamp-guide" > to host the "Metamath-lamp Guide".
I have created a new metamath repo: <https://github.com/metamath/lamp-guide> to host this guide. I believe this repo implements this: https://github.com/expln/metamath-lamp/issues/65 Please file issues if you see any issues, or even better, please provide pull requests :-). --- 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/EAAE2B09-F619-46D3-A545-FB4AEFC41703%40dwheeler.com.
