An editor could integrate the library, not the other way around. A Markdown library translates Markdown into HTML, that's probably the easiest part of such an editor.
It doesn't seem like the editor uses a Markdown library to parse the text. marked is used for preview but the editor itself (CodeMirror actually) uses its own routines to parse the markup.