Hello Olivier Binda! It is awesome what you have done!
Will you release as a open source your project or it will be a closed source project with money? Regards -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/03fdbb03-4a5c-4f75-a1cf-557db796a07d%40googlegroups.com.