onnx-lean-verify
Lean
★ 0
updated 15d ago
▣ archived
Peer review recreation of Apoth3osis Labs full 223-operator ONNX formal verification (DOI:10.13140/RG.2.2.22243.92967) in Lean 4
No plain-English explanation yet — one is being written right now. Check back in a minute.