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

Ethereum · 38:07 · Watch on YouTube

ZisK에서의 재귀에 대한 형식 검증 로드맵: Lean의 수동적 및 능동적 활용

Read the full summary on retube

English