FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Deliberately use small version number

Open kant2002 opened this issue 3 years ago • 0 comments

That allow have gradually increase version until we have stable infra.

kant2002 avatar Jul 16 '22 15:07 kant2002