{"skill":{"slug":"formal-provers","displayName":"Formal Methods","summary":"Formal verification with Lean 4, Coq, and Z3 SMT solver","tags":{"latest":"1.0.8"},"stats":{"comments":0,"downloads":340,"installsAllTime":0,"installsCurrent":0,"stars":0,"versions":9},"createdAt":1773124248162,"updatedAt":1777527657683},"latestVersion":{"version":"1.0.8","createdAt":1773656330907,"changelog":"Accurately describe execution model: Lean/Coq read stdlib via elan/opam, clarify network access boundaries","license":"MIT-0"},"metadata":{"os":null,"systems":null},"owner":{"handle":"willamhou","userId":"s17a68d3sp1pca7zzhqgmzn60h83s0yr","displayName":"Will.hou","image":"https://avatars.githubusercontent.com/u/8574759?v=4"},"moderation":null}