tangentstream
@tangentstream
Home
Videos
YouTube
tangentstorm
LeanSieve 2: more lean 4 live-proving
Jul 7, 2024 · 5:54:14 · 82 views · Live stream ·
Watch on YouTube
Description
Continuing work on my formally verified prime sieve implementation in Lean4.
