The "batteries included" extended library for the Lean programming language and theorem prover

Tool to generate markdown files from lean files.