LeanSieve: my prime number generator in Lean

Sep 19, 2026 · 1:06 · 59 views · Watch on YouTube

Description

Segment from the September 10, 2026 AI Tools Chat.

Weekly at 6pm EST: https://tangentcode.com/ai-tools-chat