Versions Packages Information History Related Badges Report

Information for fstar

Package names

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

Versions

  • 20180418 (1)
  • 0.9.5.0 (5)

Repositories

Categories

  • cli-mono (1)

Licenses

  • Apache (1)
  • Apache-2.0 (1)

Summaries

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

Maintainers

Homepages