package beluga

  1. Overview
  2. No Docs
Implementation of contextual modal logic for reasoning with higher-order abstract syntax

Install

github.com Edit opam file

Authors

  1. B
    Brigitte Pientka
  2. J
    Joshua Dunfield
  3. A
    Andrew Cave
  4. J
    Jacob Thomas Errington
  5. J
    Junyoung Clare Jang

Maintainers

  1. J
    jacob.errington@mail.mcgill.ca

Sources

v1.0.tar.gz
md5=db38afa81edcccce71b1af2285283cef
sha512=7a0e7464233faa0f82026f2800fe105a1aade96abe88e4f9e62ac5e1a6b3b160240ced250b5bd16b86fcd48ece48d1e51cb94dcb4ac16d1fbc0dcd3f2b1a2ea1

Description

Published: 06 Jan 2021

Dev Dependencies

None

Used by

None

Conflicts

None