doc/examples/deBruijn.lean.md - third_party/github.com/leanprover/lean4 - Git at Google


            
            (this example is rendered by Alectryon in the CI)


            ```lean

            
            {{#include deBruijn.lean}}

            
            ```
	(this example is rendered by Alectryon in the CI)

	```lean
	{{#include deBruijn.lean}}
	```