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 0.9.7.0-2 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2019-10-20 14:49 (UTC)
fstar-bin 2023.09.03-2 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort 2024-05-31 11:01 (UTC)

3 packages found. Page 1 of 1.