Add Lean 4 formal verification layer for query optimizer#32

muk2 wants to merge 2 commits intomainmuk2/pgrsql:mainfrom

feature/issue-27-lean-verificationmuk2/pgrsql:feature/issue-27-lean-verificationCopy head branch name to clipboard