Hi. > How do you want to be sure it is the right one? I don't want to parse Isabelle code. I want to create language similar to Isabelle. == Askar Safin https://github.com/safinaskar