Providing documentation and testcases for the theorem prover Isabelle

点击翻译按钮获取中文摘要

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.