belugaversion

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

AuthorsBrigitte Pientka, Joshua Dunfield, Andrew Cave, Jacob Thomas Errington and Junyoung Clare Jang
LicenseGPLv3
Published
Homepagehttps://github.com/Beluga-lang/Beluga
Issue Trackerhttps://github.com/Beluga-lang/Beluga/issues
Maintainerjacob.errington@mail.mcgill.ca
Dependencies
Source [http] https://github.com/Beluga-lang/Beluga/archive/v1.0.tar.gz
md5=db38afa81edcccce71b1af2285283cef
sha512=7a0e7464233faa0f82026f2800fe105a1aade96abe88e4f9e62ac5e1a6b3b160240ced250b5bd16b86fcd48ece48d1e51cb94dcb4ac16d1fbc0dcd3f2b1a2ea1
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/beluga/beluga.1.0/opam
Optionally used by