package fstar
An ML-like language with a type system for program verification.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.6.0.zip
md5=bad094857baf83b8f556ce1348d39ab4
Description
Published: 18 May 2018
Dependencies (15)
-
ocaml-migrate-parsetree
< "2.0.0"
- process
- ppx_deriving_yojson
- ppx_deriving
- ulex
- pprint
-
menhir
>= "20161115"
- fileutils
-
ocamlbuild
build
- yojson
- stdint
- zarith
- batteries
- ocamlfind
-
ocaml
>= "4.04.0" & < "4.08.0"
Dev Dependencies
None
Used by (1)
-
kremlin
< "1.0.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page