All: I intend to create a new metamath org repository named "lamp-guide" to host the "Metamath-lamp Guide". This is at the request of the maintainer of metamath-lamp. Below is the backstory.
Let me know ASAP if there's a problem. I can't imagine what the problem would be, though, so I intend to do this soon. Everything is under the MIT license, though if that's an issue I think I can simply relicense it as the author of this material (e.g., as MIT OR CC-BY-4.0). --- David A. Wheeler ==== I've been working to create a guide for the proof assistant metamath-lamp. The guide currently in the metamath-lamp repo: https://github.com/expln/metamath-lamp However, the maintainer of metamath-lamp (Igor Ieskov / @expln) would prefer that the guide be in its own separate repository instead of being intermingled with the code: https://github.com/expln/metamath-lamp/issues/65 I intend to keep the history of the guide's development in case that's useful, so I'll probably make a copy of it using git & push it back. (I don't want GitHub to say "this is a fork of XYZ", so I probably won't use GitHub's fork command unless someone knows how to undo that). -- 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/2590BEAB-A417-4057-AADB-247F9FF0AA27%40dwheeler.com.
