Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Seasawher opened this issue a month ago · comments
create documentation!
compare argparse in Python, contribute library if there is need...
argparse