> On May 9, 2023, at 7:53 AM, Igor Ieskov <[email protected]> wrote:
>
> mm-lamp v10 is released with few new features:
>
> • Autocompletion for parentheses - when you type an opening parenthesis
> followed by a space then the closing parenthesis is added automatically and
> the cursor is placed in between those parentheses.
> • Syntax validation and “syntax aware” selection.
> • Graphical visualization of justifications.
>
> The below demo almost repeats the proof from the v1 demo but using the new
> features this time:
>
> https://drive.google.com/file/d/1IwdHLpQreZ_1CJFZJmptRJc2unO8aNh4/view?usp=sharing
This is awesome!. Thanks for continuing this work.
I think the ability to "create proofs without installing anything" is a
potential game-changer
in terms of making it easier for people to start creating Metamath proofs.
--- David A. Wheeler
--
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/B3F8957C-E3A4-43C7-86F0-49850F409393%40dwheeler.com.
