FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Add clarification

Open kant2002 opened this issue 3 years ago • 0 comments

Without open FStar.Mul complete novice would struggle to understand why perfectly valid example does not work in sandbox.

kant2002 avatar Aug 07 '22 11:08 kant2002