Skip to content
This repository has been archived by the owner on Apr 25, 2024. It is now read-only.

Add proof exploration and display options to CLI #1043

Closed
wants to merge 17 commits into from

cli/args, __main__: factor out KCLIArgs.spec_args for pyk [prove|show]

ea29f4e
Select commit
Loading
Failed to load commit list.
Closed

Add proof exploration and display options to CLI #1043

cli/args, __main__: factor out KCLIArgs.spec_args for pyk [prove|show]
ea29f4e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar