hopv / rethfl

ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types

Geek Repo

Github PK Tool