kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Document & stabilize the list subcommand

Open carolynzech opened this issue 11 months ago • 0 comments

Document the experimental list subcommand feature in our book and stabilize the feature.

carolynzech avatar Apr 17 '25 14:04 carolynzech