18 lines
514 B
JSON
18 lines
514 B
JSON
{
|
|
"name": "lean4-theorem-proving",
|
|
"owner": {
|
|
"name": "Cameron Freer",
|
|
"email": "cameronfreer@gmail.com"
|
|
},
|
|
"plugins": [
|
|
{
|
|
"name": "lean4-theorem-proving",
|
|
"description": "Systematic workflows for Lean 4 proofs: sorries management, mathlib usage, verified math, compiler-guided repair",
|
|
"source": {
|
|
"source": "url",
|
|
"url": "https://git.waymay.us/zhongwei/gh-cameronfreer-lean4-skills-plugins-lean4-theorem-proving.git"
|
|
},
|
|
"strict": true
|
|
}
|
|
]
|
|
} |