CMark.lean
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.
None Description
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.
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.