(this example is rendered by Alectryon in the CI)

{{#include deBruijn.lean}}