1 Search Results
beluga
Implementation of contextual modal logic for reasoning with higher-order abstract syntax
1.0
GPL-3.0-only
Used by 0 other packages