search

hopv / rethfl

ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types
0 stars 0 forks source link

Fix an uncaught exception of annot.arith #7

Closed KenSakayori closed 1 month ago

KenSakayori commented 1 month ago

The error message has also been improved