from Hacker News

A Comprehensive Survey of the Lean 4 Theorem Prover

by febin on 2/3/25, 4:54 PM with 0 comments