Versions Packages Information History Related Badges Report

Packages for fstar

9 package(s) known

fstar

0.9.6.0
  • Summary:
    An ML-like language with a type system for program verification
  • Maintainer:
  • Category:
    • cli-mono
  • Package-related links:

fstar

0.9.6.0 (0.9.6.0-1)

fstar-bin

0.9.6.0 (0.9.6.0-2)

fstar-git

20180518 (20180518-1)

FStar

0.9.6.001

fstar

0.9.6.0

fstar

0.9.6.0

fstar

0.9.6.0

fstar

0.9.6.0