Make Rocq more like Lean

Changes

1 changed files (+2/-0)

• VSCodium/User/settings.json
  • @@ -15,4 +15,6 @@
    // Make title bar consistent with other apps in KDE "window.customTitleBarVisibility": "never", "window.titleBarStyle": "native", + // Make Rocq more like Lean + "vsrocq.proof.mode": 1, }