SeLFiE: handle mutual recursion and induction - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: handle mutual recursion and induction #158

Open yutakang opened 4 years ago

yutakang commented 4 years ago

There are good examples:

First-Order Logic According to Fitting by Stefan Berghofer in 2007
POPLmark Challenge Via de Bruijn Indices by Stefan Berghofer in 2007