Alex Rivera | Logout

Questions tagged verbose

1 question

Sort by: Newest Votes Active
18
votes
1
answers

"Verbose" auto in Coq

rocq-prover verbose
asked 2013-02-17T02:13:32.520