belugaversion Documentation on ocaml.org
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/archive/refs/tags/v1.1.3.tar.gz md5=475d41b9d142441e966cfeab38aa1f60 sha512=dbdbe5233a120c5cac367cb3914f482c4d00e325786ee51f2c5892d7e5fdd556338ec9565106b9ad82e50b26c8dc235887bc9b2a75e5ad0e2f19fb95f642a8a9 | 
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.1.3/opam | 
No package is dependent
 
          


