package beluga

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

Install

complogic.cs.mcgill.ca Readme Changelog GPL-3.0-only License Edit opam file

Authors

  1. B
    Brigitte Pientka
  2. J
    Joshua Dunfield
  3. A
    Andrew Cave
  4. J
    Jacob Thomas Errington
  5. J
    Junyoung Clare Jang
  6. M
    Marc-Antoine Ouimet

Maintainers

  1. M
    marc-antoine.ouimet@mail.mcgill.ca

Sources

beluga-1.1.1.tbz
sha256=a1feed16ff859a47859a73b89f751911744f1ed427c6dfd24466d0f817a9fa6b
sha512=a6dcddfc74a8abdf0578ad249fa7fda52168ec7d991784236dbac3ac331777bf3a14d8fc205c8c2b734409eabc008966276a5683c51449322122a3f52c69e96e

Description

Published: 12 Sep 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