belugaversion
Implementation of contextual modal logic for reasoning with higher-order abstract syntax
| Authors | Brigitte Pientka, Joshua Dunfield, Andrew Cave, Jacob Thomas Errington and Junyoung Clare Jang |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | https://github.com/Beluga-lang/Beluga |
| Issue Tracker | https://github.com/Beluga-lang/Beluga/issues |
| Maintainer | jacob.errington@mail.mcgill.ca |
| Dependencies | |
| Source [http] | https://github.com/Beluga-lang/Beluga/archive/v1.0.tar.gz md5=db38afa81edcccce71b1af2285283cef sha512=7a0e7464233faa0f82026f2800fe105a1aade96abe88e4f9e62ac5e1a6b3b160240ced250b5bd16b86fcd48ece48d1e51cb94dcb4ac16d1fbc0dcd3f2b1a2ea1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.0/opam |
Optionally used by
