search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Functions for checking for unbound variables. #42

Open alex-ozdemir opened 4 years ago

alex-ozdemir commented 4 years ago

I found these useful when debugging the LAM/PI/weak-head-reduction bug. I figure they may be useful again in the future.