package beluga

  1. Overview
  2. No Docs
Implementation of contextual modal logic for reasoning with higher-order abstract syntax

Install

Dune Dependency

Authors

Maintainers

Sources

beluga-1.1.tbz
sha256=a6b4e3b3b51cd4cb5575b6f5cf7da88aa37027e273925752a50a3f7c97f0ed8c
sha512=070d2ee1f67583bf0619d4209369234a9ee948145b674c2a6b05586e96f5a45b2b73cadea0c67958e4ed03eb72e9ca72a037758a4db0d7e7d57eb1a3a98efc9c

Description

Published: 08 Aug 2023

Dependencies (9)

  1. uri >= "4.2.0"
  2. omd >= "1.3.2"
  3. sedlex >= "2.5"
  4. ocaml >= "4.14"
  5. linenoise >= "1.4.0"
  6. gen >= "1.0"
  7. extlib >= "1.7.9"
  8. dune-build-info >= "3.7.0"
  9. dune >= "3.7"

Dev Dependencies (5)

  1. odoc >= "2.2.0" & with-doc
  2. bisect_ppx >= "2.8.1" & with-test
  3. ounit2 >= "2.2.6" & with-test
  4. yojson >= "2.0.2" & with-test
  5. ocamlformat = "0.25.1" & with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.