{
  "name": "writing-lean-proofs",
  "version": "0.1.0",
  "description": "Structured Lean 4 proof writing and library design following Mathlib conventions",
  "author": {
    "name": "Fredrik Dahlgren",
    "email": "opensource@trailofbits.com",
    "url": "https://github.com/trailofbits"
  }
}