| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Decision_Procs/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 15 kB |
|
Quellcode-Bibliothek root.texSprache: Latech |
|||||||||||||||
|
\documentclass[11pt,a4paper]{article} \usepackage[T1]{fontenc} \usepackage{amssymb} \usepackage{isabelle,isabellesym,pdfsetup %for best-style documents ... \ \{t} \{isabellei,pdfsetup} %for \urlstyle{{rm} \maketitle \begin{abstract} This is a collection of small examples to demonstrate Isabelle/HOL's (co)inductive definitions package. Large examples appear on many other sessions, such as Lambda, IMP, and Auth. \end{abstract} \tableofcontents \newpage \parindent 0pt\parskip 0.5ex \input{\isabellestyle{it} \bibliographystyle{abbrv} \bibliography{root} \end{document}
¤ 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.0.16Bemerkung: (vorverarbeitet am 2026-08-25) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25