Seasawher / mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

use CLI tool for Lean

Seasawher opened this issue · comments

create documentation!

compare argparse in Python,
contribute library if there is need...