Aleks Kissinger

Results 24 comments of Aleks Kissinger

What's the status of this? It looks like the discussion is inconclusive on whether this should be merged.

Thanks for moving this here from the README. I think it makes more sense as an issue. "simplification-based equality checker" is done now: 789cd97 thanks to @alexandru-duca !

is this PR still alive? If yes, I'll merge it once you fix the conflict.

@lara-madison and @jvdwetering can I go ahead and merge this? Hopefully it doesn't clobber anything else you are working on at the moment.