Mephisolus reached Milestone 6 Here is a video, proving that it did : https://www.youtube.com/watch?v=HuLFpQxwkmU&feature=youtu.be It shows me a bit stressed (this was my fith attempt, there is always something going wrong... :) and struggling at the end with html ^^; Sadly, the exported metamath proof had an issue (I store metamath theorem with some renaming/shuhhling of variables and It messed up the exported proof). I'll fix it at soon as possible and hopefully post a valid exported proof.
I'm quite happy with the result : it ended up a bit better that I envisionned and, I already have quite a few ideas about how to further enhance the user workflow and make it much better. Hoping to get some feedback now :) And preparing to start development of Mephistolus Milestone 7... Best regards, Olivier -- 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/af959f49-b997-48f3-9ae8-8705f04da967%40googlegroups.com.
