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
/-- A simple single-line docstring should be kept. -/
def with_docstring := 42

/--
A multi-line
docstring
should be kept.
-/
def with_multiline := 100