Hi Scott! That would be awesome!
The source code is on GitHub here: https://github.com/tirix/metamath-web _ Thierry On 13/01/2022 01:28, Scott Fenton wrote:
That's awesome! I'd love to help and I've got some time off coming up. Where can I grab the source code to give it a whirl?
-- 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/cdd38b73-fd1f-0b43-64e3-9eb8148f6857%40gmx.net.
