adelfa
Proof assistant for reasoning about LF specifications
- Category
- OCaml packages
Official docs outline
ocaml.orgExtra Credit builds an outline of adelfa's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500-
base-implicits Dummy base package for compilers with modular implicits support.
-
bigstring A set of utils for dealing with `bigarrays` of `char`
-
promise Native implementation of a JS promise binding
-
oxcaml Virtual package indicating dependency on OxCaml
-
stdlib-diff Symmetric Diffs for OCaml stdlib and ReasonML
-
opam-spin Opam plugin for Spin, the OCaml project generator
-
spin OCaml project generator
-
quickterface Quick-to-program app interfaces in OCaml for terminal and web
-
disml An OCaml library for interfacing with the Discord API
-
stdint Signed and unsigned integer types having specified widths
-
sys-socket Ctypes bindings to system-specific low-level socket structure and data-types
-
bisect_ppx Code coverage for OCaml