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.2/beluga-1.1.2.tbz sha256=b212cd25f28487591e7eb08207f31c45c1329cdd5f76544aca00904089ed8718 sha512=2e1e029912a6352733a44689a38cc9161a49c870990930e4432e48c2e376902b18bd5f21d64db936dfb0574fffb69ed17eecde2823f2295fc7bb7255b81638aa |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.1.2/opam |
Optionally used by