Joonwon Choi
Results
1
issues of
Joonwon Choi
The code below ``` Goal forall a b: nat, True. Proof. intros a ?; trivial. Qed. ``` is auto-indented to ``` Goal forall a b: nat, True. Proof. intros a...