Conversation

De Bruijn indices are one of those things that never cease to turn my brain inside out any time I try to make sense of them 😖

Replying to

The basic idea or using them in practice or?

Implementing/using/writing proofs with

Show replies