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/8c4a0c96-7815-497d-aca0-a1d4ae321eb9n%40googlegroups.com.
