[D1 · Elena Hall · Performance] ZisK recursion in Lean 4 — Héctor Masip

Name: [D1 · Elena Hall · Performance] ZisK recursion in Lean 4 — Héctor Masip
Uploaded: 2026-11-07T00:00:00.000Z
Duration: 38 min 7 s
Description: Formal Verification Roadmap for Recursion in ZisK: Passive and Active Use of Lean

Ethereum · 38:07 · Watch on YouTube

Formal Verification Roadmap for Recursion in ZisK: Passive and Active Use of Lean

Read the full summary on retube

한국어