szl-lambda-gate v0.2.0 metadata
Browse files
build/torch-universal/szl_lambda_gate/metadata.json
ADDED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
{
|
| 2 |
+
"name": "szl_lambda_gate",
|
| 3 |
+
"version": "0.2.0",
|
| 4 |
+
"universal": true,
|
| 5 |
+
"backends": [
|
| 6 |
+
"cpu",
|
| 7 |
+
"cuda"
|
| 8 |
+
],
|
| 9 |
+
"author": "SZL Holdings",
|
| 10 |
+
"license": "Apache-2.0",
|
| 11 |
+
"lambda_status": "Conjecture 1 (open) — uniqueness unproven; advisory only",
|
| 12 |
+
"provenance": {
|
| 13 |
+
"lean_repo": "szl-holdings/lutar-lean",
|
| 14 |
+
"doi_lutar_lean": "10.5281/zenodo.20434308"
|
| 15 |
+
}
|
| 16 |
+
}
|