Skip to content

Add explicit symbol name for isKResult function on Readme#4807

Open
0xkohe wants to merge 1 commit into
runtimeverification:masterfrom
0xkohe:patch-1
Open

Add explicit symbol name for isKResult function on Readme#4807
0xkohe wants to merge 1 commit into
runtimeverification:masterfrom
0xkohe:patch-1

Update README.md

bb3c673
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs