Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Re2: Asking for Isabelle/Isar language specifi...

Email Gateway (Aug 18 2022 at 17:06):

From: Jens Doll <jd@cococo.de>
Hello Anh,
all you can do securely is the lexical analysis. Afterwards you can do a
kind of semi-parsing by identifying pairs like (proof..end),
(lemma...end) and so on. Look at my software Elbe, where it has been
done. I'm currently working on the next release ...
Regards
Jens

http://cococo.de

Last updated: Apr 25 2024 at 01:08 UTC