# ♯ Formal Method ## Metadata **Kind**:: #paralet **PARA**:: [[1 Projects]] **Status**:: #x **Zettel**:: #zettel/index **Created**:: [[2025-05-14]] ## Synopsis