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