I drew a blacked picture than necessary regarding the state of UI library for Metamath :
There is one UI library widely available that we can use : the WebView. It is also necessary as MathJax is the only library I know that is able to render Math with Tex-like capabilities Using a WebView (and javascript, mathml, mathJax) is a complex solution (that I used in the past to develop a math app on android), quite slow... but that works really well and that might probably enable selection of parts of equations through touch/clicks (never tried that, might be possible). Which leaves regular html widget to draw buttons, lists, ... The WebView is available on android/ios/a browser (obviously) and is embeddable in a native app, so that would solve the UI problem As javascript would be a component of the app, we would need to find a database/graph/indexing library that work on javascript (if there is no option on kotlin). But, as of today, regular HashMap or simple data structures might be succifient to do (at first) a decent job regarding the database problem (at the moment, I use a simple hashmap and list in Kotlin to query metamath theorems, it is sufficient for my needs) So, I would say that, though slapping a UI on metamath requires a lot of work, it should be possible to do a decent job now (provided that the metamath magic is there) Also, metamath experts don't necessarily require math rendering with Tex-like beauty as they can decipher metamath statements natively. Regular text widgets would be sufficient for experts (but my target is people that learn maths, so... mathjax is a necessity for me :) ) 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/a7b2ff8c-fa01-41b3-a693-5085f3c1ee50%40googlegroups.com.
