Re: [Coq-Club] unfold definition on vectors · From: AUGER Cédric <Cedric.Auger AT lri.fr> · To: Adam Chlipala <adamc AT csail.mit.edu> · Cc: ...
確定! 回上一頁