| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Zippy/ (Archive of formal Proofs Version 2026-5©) Datei vom 29.4.2026 mit Größe 408 B |
|
Quelle Zippy_Base_Setup.thy Sprache: Isabelle |
|||||||||||||||||||||||||
|
✐‹creator "Kevin Kappelmann"› chapter ‹Zippy› theory Zippy_Base_Setup imports ML_Unification.ML_Logger ML_Unification.Setup_Result_Commands begin paragraph ‹Summary› text ‹Zippy is a tree-search framework based on (alternating) zippers.› setup_result zippy_base_logger = ‹Logger.new_logger Logger.root "Zippy_Base"› end
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-11-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-01