| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Zippy/ Datei vom 29.4.2026 mit Größe 408 B |
|
Quelle Zippy_Base_Setup.thySprache: 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.11 Sekunden (vorverarbeitet am 2026-06-13) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-12