
6 Jan
2021
6 Jan
'21
5:53 p.m.
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