1 search result for "author:"Junyoung Clare Jang""

Showing 1 - 1
  1. Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    1.1.2
    GPL-3.0-only
    Used by 0 other packages
    22 Jul 2024