LeanSieve 1: live-proving a prime sieve algorithm in lean

Jul 2, 2024 · 3:39:38 · 359 views · Live stream · Watch on YouTube

Description

Teaching myself lean 4 by formally verifying an algorithm to generate primes.