3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
fstar-git 20191019-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-19 23:55 (UTC)
fstar-bin 0.9.7.0-1 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-20 00:11 (UTC)
fstar 0.9.7.0-2 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-20 14:49 (UTC)

3 packages found. Page 1 of 1.