feat: formal verification with lean-agentic dependent types#206

ruvnet merged 1 commit intomainruvnet/RuVector:mainfrom

explore/lean-agentic-integrationruvnet/RuVector:explore/lean-agentic-integrationCopy head branch name to clipboard