lean4-code-actions/.markdownlint.json

Refactorings and snippets for Lean 4

{
  "default": true,
  "MD013": false,
  "MD024": false,
  "MD033": false
}