| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Nitpick_Examples/ (Beweissystem Isabelle Version 2025-1©) Datei vom 16.11.2025 mit Größe 322 B |
|
Quelle Tests_Nits.thy Sprache: Isabelle |
|||||||||||||||
|
(* Title: HOL/Nitpick_Examples/Tests_Nits.thy Author: Jasmin Blanchette, TU Muenchen Copyright 2009-2011 Nitpick tests. *) section ‹Nitpick Tests› theory Tests_Nits imports Main begin ML ‹if getenv "KODKODI" = "" then () else Nitpick_Tests.run_all_tests 🍋› end
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-02