Blog

Welcome to Stanford AI for Lean

Introducing our new club dedicated to the intersection of AI and formal theorem proving.