For the purposes of the license agreement in the file COPYRIGHT, a
'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
who is listed as an author in one of the source files of this Isabelle
distribution.
Contributors to Isabelle/UTP
----------------------------
* Simon Foster, University of York, UK
* Frank Zeyda, University of York, UK
* Yakoub Nemouchi, Virginia Tech, USA
* Abderrahmane Feliachi, University of Paris Sud, France
* Burkhart Wolff, University of Paris Sud, France
* Samuel Canham, University of York, UK
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.