Skip to content

Add Lean 4 formal verification layer for query optimizer#32

Open
muk2 wants to merge 2 commits into
mainfrom
feature/issue-27-lean-verification
Open

Add Lean 4 formal verification layer for query optimizer#32
muk2 wants to merge 2 commits into
mainfrom
feature/issue-27-lean-verification

Fix CI: rustfmt formatting

810a960
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar