1 Search Results
beluga
Implementation of contextual modal logic for reasoning with higher-order abstract syntax