I'll post my progress here:
https://github.com/tirix/christmas24.mm cool repo! :-) If you ever have the chance to record a screencast of some proof development (audio isn’t necessary), I’d love to check it out. It would help me identify features I could add to Yamma. I’m currently working on some improvements, and seeing your workflow from a different perspective would be incredibly helpful. -- 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 visit https://groups.google.com/d/msgid/metamath/479c62a6-8464-44a6-831c-8eb9c935381dn%40googlegroups.com.
