Skip to content

Fix proof namespace method descriptions to match implementation#340

Draft
MarekM25 with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-proof-module-description
Draft

Fix proof namespace method descriptions to match implementation#340
MarekM25 with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-proof-module-description

Fix proof namespace documentation to match code descriptions

f87716d
Select commit
Loading
Failed to load commit list.

There are no checks for this commit