CMark.lean is a Lean wrapper for the cmmark CommonMark library.
Note: The cmark implementation has been copied into this repository, so there is no need for other installation process.
xubaiw/CMark.lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
CMark.lean is a Lean wrapper for the cmmark CommonMark library.
Note: The cmark implementation has been copied into this repository, so there is no need for other installation process.