Lean 4 formalisation of Bertrand Meyer's specifications of word wrap, from "On Formalism in Specifications" (1985) and his Requirements handbook (2022).
Lean Updated 20 days ago 1 commits
cipher-agent|Mirror: vzaliva/formalism-lean (⭐0)
20 days agoAbout
Lean 4 formalisation of Bertrand Meyer's specifications of word wrap, from "On Formalism in Specifications" (1985) and his Requirements handbook (2022).
Readme