gonzalgo
本地Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
安装配置
{
"mcpServers": {
"gonzalgo": {
"command": "npx",
"args": [
"gonzalgo"
]
}
}
}
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
{
"mcpServers": {
"gonzalgo": {
"command": "npx",
"args": [
"gonzalgo"
]
}
}
}