I'm impressed. And your "search by pattern" is not even available in mmj2 (as far as I know, see this post https://groups.google.com/g/metamath/c/eUKe3kY4y1o)
Glauco Il giorno martedì 3 gennaio 2023 alle 22:51:16 UTC+1 [email protected] ha scritto: > Hi all, > > I am developing a web-based proof assistant and would like to share > current results. The proof assistant is written in ReScript programming > language and React UI library. It runs completely in the browser. It uses > the same approach for building proofs as mmj2 (but at the moment it doesn’t > have all the features mmj2 has). I recorded a video (without verbal > explanations) similar to one of the mmj2 tutorial videos in order to > demonstrate its features. Any feedback is appreciated. > > > The demo video (if it is not opening, try to download; and sorry for low > quality of the video): > > > https://drive.google.com/file/d/1JCDffUXkb_J-TiA07aNwK9SBKyaukaA3/view?usp=share_link > > > The proof assistant: > > https://igorocky.github.io/mm-proof-assistant/demo/v1/index.html > > The source code is stored in two repositories. And there is mess with it. > I started writing it inside of another project, put some logic into a > second repo. Because of that it is not easy to run it locally. But I am > going to improve this soon. > > The source code: > > https://github.com/Igorocky/learn-js-react-app/tree/master/src/metamath > > https://github.com/Igorocky/js-common-functions/tree/master/src/main > > Best regards, > > Igor > > -- 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/e784d50a-bc73-4c13-82db-35a75fd6a5afn%40googlegroups.com.
