[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans - #1549

[DO NOT MERGE] Formal verification reference: TLA+/Lean models, defect catalogue and fix plans#1549

joaodinissf wants to merge 3 commits into

masterdsldevkit/dsl-devkit:masterfrom

docs/formal-verification-referencedsldevkit/dsl-devkit:docs/formal-verification-referenceCopy head branch name to clipboard