> On May 26, 2023, at 4:19 PM, 'Alexander van der Vekens' via Metamath
> <[email protected]> wrote:
>
> 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...
*Absolutely* 100% agreed!! As I said:
> A problem for metamath-lamp is the lack of instruction showing how to *use*
> it.
> ... But it wouldn't take much to create
> a basic help document & a few videos to help people get started.
Ask and ye shall receive!! As of this morning the first draft of the
metamath-lamp guide is available here:
https://github.com/expln/metamath-lamp/blob/master/docs/guide.md
I intend to add more to it. I think it needs at least 3 worked examples of
proofs,
with more desirable. It currently shows how to prove 2+2=4, and that should
help.
--- 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/1F56F8ED-E284-476F-9F63-003B9CBBC34B%40dwheeler.com.
