Versions Packages Information History Related Badges Report

Packages for fstar

fstar

0.9.6.0 (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.5.0

fstar

0.9.6.0

fstar

0.9.6.0

fstar

0.9.5.0

fstar

0.9.6.0