1 search result for "author:"Brigitte Pientka""

Showing 1 - 1
  1. beluga
    Documentation
    Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    Brigitte Pientka Joshua Dunfield Andrew Cave Jacob Thomas Errington Junyoung Clare Jang et al.
    1.1.3
    GPL-3.0-only
    Used by 0 other packages
    11 Sep 2025