New contributions

David Starner

unread,

Apr 17, 2020, 12:06:07 AM4/17/20

to meta...@googlegroups.com

I've finally managed to prove something in Metamath, so here we go for
the simplest of starts, but hopefully a start that will be followed
up.

https://github.com/Prosfilaes/starner.mm/blob/master/starner.mm

--
The standard is written in English . If you have trouble understanding
a particular section, read it again and again and again . . . Sit up
straight. Eat your vegetables. Do not mumble. -- _Pascal_, ISO 7185
(1991)

Jim Kingdon

unread,

Apr 17, 2020, 12:24:29 AM4/17/20

to meta...@googlegroups.com

Nice. Congratulations.

At least for me, the first proof or two were the hardest.

Stanislas Polu

unread,

Apr 17, 2020, 3:35:37 AM4/17/20

to meta...@googlegroups.com

Congrats! \o/

-stan

> --
> 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 metamath+u...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/b8b7659e-a2e6-8452-582a-f8af49d1c0b1%40panix.com.

Jon P

unread,

Apr 18, 2020, 8:48:58 AM4/18/20

to Metamath

Nice one David :)

Reply all

Reply to author

Forward