Skip to content

Fix typo in consistency proof initial condition - #151

Merged
davidben merged 1 commit into
mainfrom
lukevalenta-patch-1
Oct 7, 2025
Merged

Fix typo in consistency proof initial condition#151
davidben merged 1 commit into
mainfrom
lukevalenta-patch-1

Fix typo in consistency proof initial condition

8ffcd51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar