Skip to content

feat: Halmos assert mode#69

Merged
GalloDaSballo merged 1 commit into
mainfrom
feat-halmos-assert-mode
Sep 24, 2025
Merged

feat: Halmos assert mode#69
GalloDaSballo merged 1 commit into
mainfrom
feat-halmos-assert-mode

feat: Halmos assert mode

6b4e334
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar