Migrate moratorium08/hflmc2

hopv / rethfl

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

0 stars 0 forks source link

Closed moratorium08 closed 6 months ago

moratorium08 commented 6 months ago

I'll try to merge all the changes introduced after the creation of hopv/rethfl, and archive the original repository.