Versions Packages Information History Related Badges Report

Information for fstar

Package names

  • FStar
  • fstar (4)
  • fstar-bin
  • fstar-git

Versions

  • 20180518
  • 0.9.6.001
  • 0.9.6.0 (4)

Repositories

Categories

  • cli-mono

Licenses

  • Apache
  • Apache-2.0

Summaries

  • A Higher-Order Effectful Language Designed for Program Verification
  • An ML-like language aimed at program verification
  • An ML-like language with a type system for program verification
  • ML-like functional programming language aimed at program verification
  • ML-like language aimed at program verification

Maintainers

Homepages