{"version":3,"file":"source.lean4.markdown.d.ts","sourceRoot":"","sources":["source.lean4.markdown.js"],"names":[],"mappings":";AAAA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CAs3CjB;6BAz3CyB,sBAAsB"}