Examine source code of Lean

Inspect and view changes in Lean source codes across current and past versions

Premium users can view and search full source code, and see the source code differences between two versions.

manifest.json

{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "manifest_version": 3,
  "name": "Lean",
  "version": "1.0.0",
  "description": "Just for practicing my skills",
  "action": {
    "default_icon": "icon.png"
  },
  "chrome_url_overrides": {
    "newtab": "index.html"
  }
}