File size: 369 Bytes
221e652 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | {
"name": "szl_lambda_gate",
"version": "0.2.0",
"universal": true,
"backends": [
"cpu",
"cuda"
],
"author": "SZL Holdings",
"license": "Apache-2.0",
"lambda_status": "Conjecture 1 (open) — uniqueness unproven; advisory only",
"provenance": {
"lean_repo": "szl-holdings/lutar-lean",
"doi_lutar_lean": "10.5281/zenodo.20434308"
}
}
|