Snippet collection for the Lean theorem prover.