lean2md 0.2.1

Tool to convert Lean files to Markdown with special features for documentation
Documentation 
1
2
3
4
5
6
7
8
9
10

Here's some explanatory text.
```lean
-- This code is inside a comment block
def nested_example := 100
```
More explanatory text

```lean
def outside_example := 200
```