Providing documentation and testcases for the theorem prover Isabelle

伊莎贝尔是一位研究交互式理论的专家。20年来，他一直在努力，并在越来越多的验证项目中获得了大量的科学知识。We möchten hiermit Gelder beantragen，die für die Dokumentation der API-Schnittstelle und für die Aufstellung einer Sammlung von Testfällen ausgegeben韦尔登können.但我们还是希望伊莎贝尔能活得更好，韦尔登能活得更好，也不希望有科学家为伊莎贝尔工作。

Isabelle ist einer der erfolgreichsten interaktiven Theorembeweiser. Er wird seit 20 Jahren entwickelt und wurde mit großem wissenschaftlichen Nutzen in mehreren umfangreichen Verifikationsprojekten eingesetzt. Wir möchten hiermit Gelder beantragen, die für die Dokumentation der API-Schnittstelle und für die Aufstellung einer Sammlung von Testfällen ausgegeben werden können. Damit wollen wir sicherstellen, dass Isabelle langfristig weiterentwickelt werden kann und unabhängige Wissenschaftler ihre Arbeiten auf Isabelle aufbauen können.