feat(lean): import 47 Lean 4 theorems — machine-checked auction core#1

Baldri merged 2 commits into

mainnexbid-dev/protocol-commerce:mainfrom

feat/lean-verification-initial-importnexbid-dev/protocol-commerce:feat/lean-verification-initial-importCopy head branch name to clipboard