belugaversion
Implementation of contextual modal logic for reasoning with higher-order abstract syntax
Authors | Brigitte Pientka, Joshua Dunfield, Andrew Cave, Jacob Thomas Errington, Junyoung Clare Jang and Marc-Antoine Ouimet |
---|---|
License | GPL-3.0-only |
Published | |
Homepage | http://complogic.cs.mcgill.ca/beluga/ |
Issue Tracker | https://github.com/Beluga-lang/Beluga/issues |
Maintainer | marc-antoine.ouimet@mail.mcgill.ca |
Dependencies |
|
Source [http] | https://github.com/Beluga-lang/Beluga/releases/download/v1.1.1/beluga-1.1.1.tbz sha256=a1feed16ff859a47859a73b89f751911744f1ed427c6dfd24466d0f817a9fa6b sha512=a6dcddfc74a8abdf0578ad249fa7fda52168ec7d991784236dbac3ac331777bf3a14d8fc205c8c2b734409eabc008966276a5683c51449322122a3f52c69e96e |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.1.1/opam |
Optionally used by