vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Checking can "work" even if parsing fails

Open thomas-lamiaux opened this issue 6 months ago • 2 comments 

Goal forall {P }, P -> 0 = 0.
  contr 

Lemma foo : 0 = 0.
  intros.

image

thomas-lamiaux avatar Aug 26 '24 10:08 thomas-lamiaux