belugaversion

Implementation of contextual modal logic for reasoning with higher-order abstract syntax

AuthorsBrigitte Pientka, Joshua Dunfield, Andrew Cave, Jacob Thomas Errington, Junyoung Clare Jang and Marc-Antoine Ouimet
LicenseGPL-3.0-only
Published
Homepagehttp://complogic.cs.mcgill.ca/beluga/
Issue Trackerhttps://github.com/Beluga-lang/Beluga/issues
Maintainermarc-antoine.ouimet@mail.mcgill.ca
Dependencies
Source [http] https://github.com/Beluga-lang/Beluga/releases/download/v1.1/beluga-1.1.tbz
sha256=a6b4e3b3b51cd4cb5575b6f5cf7da88aa37027e273925752a50a3f7c97f0ed8c
sha512=070d2ee1f67583bf0619d4209369234a9ee948145b674c2a6b05586e96f5a45b2b73cadea0c67958e4ed03eb72e9ca72a037758a4db0d7e7d57eb1a3a98efc9c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.1/opam
Optionally used by